List of Accepted Papers
Søren Kristoffer Stiil Frederiksen and Peter Bro Miltersen. Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games Laurent Fribourg and Romain Soulat. Stable Limit Cycles for Sampled Switched Systems
Paul Bell and Shang Chen. Reachability Problems for Hierarchical Piecewise Constant Derivative Systems Artturi Piipponen and Antti Valmari. Constructing Minimal Coverability Sets
Richard Mayr and Patrick Totzke. Branching-Time Model Checking Gap-Order Constraint Systems
Kais Klai, Naïm Aber and Laure Petrucci. Verification of Reachability Properties for Time Petri Nets
Important dates:
Submission deadline
for 4-pages abstracts:
12 August 2013
Notification to authors
for 4-pages abstracts::
19 August 2013
Workshop:
25 - 27 September 2013