-
Oded Maler,
CNRS-VERIMAG,
University of Grenoble,
France
Algorithmic Verification of Continuous and Hybrid Systems: Past, Present, Future
ABSTRACT
-
Laurent Doyen,
LSV, ENS Cachan & CNRS, France
The Complexity of Partial-observation Stochastic Games
ABSTRACT
-
Dominik Wojtczak,
University of Liverpool, UK
Automated Analysis of Probabilistic Infinite-state Systems
ABSTRACT
-
Doron A. Peled,
Bar Ilan University, Israel
Tutorial on Synthesis of Parametric
Programs using Genetic Programming and Model Checking
ABSTRACT
|