Michael Littman, from Rutgers,
USA Autonomous Model Learning for
Reinforcement Learning
10:00-10:30
Coffee Break
10:30-12:30Session 1: Extensions of Timed
Automata and Semantics
Patricia Bouyer, Uli Fahrenberg, Kim
G. Larsen, Nicolas Markey and Jiri Srba Infinite Runs in Weighted Timed Automata
with Energy Constraints
Marcin Jurdzinski and
Ashutosh Trivedi Concavely priced timed automata
Michal Rutkowski, Marcin
Jurdzinski, Ranko Lazic, Patricia Bouyer and Thomas
Brihaye Average-Price and
Reachability-Price Games on Hybrid Automata with
Strong Resets
Vijay Suman, Paritosh
Pandya, Krishna S and Lakshmi Manasa G Timed Automata with Integer
Resets: Language Inclusion and
Expressiveness
12:30-14:00
Lunch
14:00-16:00Session 2:
Timed Games and Logic
Alexander Rabinovich Complexity of Metric Temporal
logic with Counting
Carlo Alberto Furia and
Matteo Rossi MTL with Bounded Variability:
Decidability and Complexity
Krishnendu Chatterjee,
Thomas Henzinger and Vinayak Prabhu Timed Parity Games: Complexity
and Robustness
Aldric Degorre and Oded
Maler On Scheduling Policies for
Streams of Structured Jobs
Albert Benveniste, from INRIA,
France Composing Web Services in an open world:
QoS issues
09:30-10:30Session 3: Case Studies
Frédéric Boniol, Hladik
Pierre-Emmanuel, Claire Pagetti, Frédéric Aspro and
Victor Jégu A Framework for Distributing
Real-Time Functions
Frits Vaandrager, Georgeta
Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc
Geilen, Marc Voorhoeve, Sebastian De Smet and Lou
Somers Formal Modeling and Scheduling
of Data Paths of Digital Document Printers
10:30-11:00
Coffee Break
11:00-12:00Session 4:
Model-Checking of Probabilistic Systems
Anne Remke and Boudewijn
Haverkort A uniformization-based algorithm
for model checking CSL until operators on labelled
queueing networks
Joost-Pieter Katoen and
Alexandru Mereacre Model Checking HML On
Piecewise-Constant Inhomogeneous Markov
Chains
12:00-13:30
Lunch
13:30-15:00Session 5:
Verification and Test
Mani Chandy, Concetta Pilotto
and Sayan Mitra Convergence Verification: From
Synchronous to Partially Synchronous Systems
Jasper Berendsen and Frits
Vaandrager Compositional Abstraction in
Real-Time Model Checking
Julien Schmaltz and Jan
Tretmans On Conformance Testing for
Timed Systems