Christel Baier

Christel Baier

TU Dresden
Email yang diverifikasi di tu-dresden.de
Dirujuk 18698 kali
Theoretical Computer Science Model Checking Modeling and Analysis of Probabilistic … Automata Theory Temporal Logic
Orna Kupferman

Orna Kupferman

Professor of Computer Science, The Hebrew University
Email yang diverifikasi di cs.huji.ac.il
Dirujuk 14050 kali
Formal verification automata temporal logic
Michael Fisher

Michael Fisher

Professor of Computer Science, University of Manchester
Email yang diverifikasi di manchester.ac.uk
Dirujuk 11271 kali
Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking
Rob van Glabbeek

Rob van Glabbeek

UNSW
Email yang diverifikasi di cs.stanford.edu
Dirujuk 10972 kali
Concurrency concurrency theory process algebra formal methods temporal logic
Bernd Finkbeiner

Bernd Finkbeiner

Professor of Computer Science, CISPA Helmholtz Center for Information Security
Email yang diverifikasi di cispa.de
Dirujuk 6446 kali
Reactive Systems Verification Synthesis Temporal Logic
Nicolas Markey

Nicolas Markey

CNRS, IRISA, Univ. Rennes, France
Email yang diverifikasi di irisa.fr
Dirujuk 4514 kali
Formal methods model checking temporal logic synthesis game theory
Alessandro Artale

Alessandro Artale

Associate Professor of Computer Science, Free University of Bozen-Bolzano
Email yang diverifikasi di inf.unibz.it
Dirujuk 4317 kali
Artificial Intelligence Knowledge Representation Applied Ontology Description Logics Temporal Logic
Jyotirmoy V. Deshmukh

Jyotirmoy V. Deshmukh

Associate Professor, University of Southern California
Email yang diverifikasi di usc.edu
Dirujuk 4047 kali
Cyberphysical systems Formal/Statistical Verification Temporal logic AI safety Reinforcement learning
Vladimir V. Rybakov

Vladimir V. Rybakov

Professor of Mathematical Logic, Institute of Mathematics and Computer Science, Siberian …
Email yang diverifikasi di sfu-kras.ru
Dirujuk 3208 kali
mathematical logic algebra computer science inference rules temporal logic
Jan Křetínský

Jan Křetínský

Masaryk University Brno; Technical University of Munich
Email yang diverifikasi di fi.muni.cz
Dirujuk 3189 kali
formal verification probabilistic systems automata theory temporal logic learning in verification
1 - 10