Sebastian Junges

Sebastian Junges

Assistant Professor, Radboud University, Nijmegen
Email yang diverifikasi di ru.nl
Dirujuk 3534 kali
Formal methods Markov Decision Processes Controller Synthesis Probabilistic Inference Runtime Assurance
Marco Faella

Marco Faella

Università di Napoli "Federico II", Italy
Email yang diverifikasi di unina.it
Dirujuk 1903 kali
formal methods controller synthesis game theory preference elicitation
Lavindra de Silva

Lavindra de Silva

Research Professor, Cambridge University
Email yang diverifikasi di cam.ac.uk
Dirujuk 1750 kali
AI Robotics Autonomous (Agent) Systems AI Planning Controller Synthesis
Amel Bennaceur

Amel Bennaceur

Academic in Computing - Adaptive and Intelligent Systems, The Open University
Email yang diverifikasi di open.ac.uk
Dirujuk 1053 kali
controller synthesis emergent middleware adaptive security software engineering distributed systems
Alphan Ulusoy

Alphan Ulusoy

Boston University
Email yang diverifikasi di bu.edu
Dirujuk 886 kali
robot path planning controller synthesis temporal logics networked control systems
Dennis Hendriks

Dennis Hendriks

TNO-ESI and Radboud University
Email yang diverifikasi di tno.nl
Dirujuk 313 kali
Software Engineering Software Behavior Formal Methods Model Learning Controller Synthesis
Shibashis Guha

Shibashis Guha

Reader, Tata Institute of Fundamental Research Mumbai
Email yang diverifikasi di tifr.res.in
Dirujuk 249 kali
Formal methods and learning controller synthesis Markov decision processes automata theory
Daniel Wester

Daniel Wester

Senior Staff, Qualcomm
Email yang diverifikasi di qti.qualcomm.com
Dirujuk 197 kali
Automatic Control Controller Synthesis LPV-systems Model Reduction
Mohammad Irshad

Mohammad Irshad

PhD Scholar, Indian Institute of Technology Patna
Email yang diverifikasi di iitp.ac.in
Dirujuk 143 kali
Smart Grid Controller Synthesis
Sander Thuijsman

Sander Thuijsman

PhD candidate, Eindhoven University of Technology
Email yang diverifikasi di tue.nl
Dirujuk 122 kali
Supervisory Control Theory Controller Synthesis Discrete Event Systems Model based systems engineering
1 - 10