Profiles

Roderick Bloem

Graz University of Technology

Verified email at iaik.tugraz.at

Cited by 8904

Formal Methods Reactive Synthesis Model Checking Formal Verification Information Security

Laura Humphrey

Senior Computer Scientist, NASA Langley Research Center

Verified email at nasa.gov

Cited by 812

formal methods reactive synthesis human-automation interaction runtime assurance

Nathanaël Fijalkow

CNRS, LaBRI, Bordeaux, and University of Warsaw

Verified email at labri.fr

Cited by 781

Games Reactive Synthesis Program Synthesis

Salar Moarref

Postdoctoral Associate at Cornell University

Verified email at cornell.edu

Cited by 589

Reactive synthesis Formal methods Cyber-physical systems Artificial intelligence

Kaushik Mallik

ISTA (Institute of Science and Technology Austria)

Verified email at ist.ac.at

Cited by 463

Formal verification Reactive synthesis Hybrid systems

Shufang Zhu

University of Oxford

Verified email at cs.ox.ac.uk

Cited by 452

Artificial Intelligence Formal Methods Reactive Synthesis

Yehia Abd Alrahman

Associate Professor in Computing

Verified email at gu.se

Cited by 386

Autonomous Systems Supervisory Control Reactive Synthesis Concurrency Theory

Shaun Azzopardi

University of Gothenburg

Verified email at gu.se

Cited by 275

Reactive Synthesis Runtime Verification Abstraction Static Analysis Deontic Logic

Antonio Di Stasio

Lecturer (Assistant Professor) in Computer Science

Verified email at city.ac.uk

Cited by 195

Parity Games Formal Methods Reactive Synthesis Artificial Intelligence

Andreas Katis

Computer Scientist, KBR at NASA Ames Research Center

Verified email at nasa.gov

Cited by 157

Formal Methods Reactive Synthesis Formal Verification Model Checking Software Engineering

1 - 10