
Automata Theory
 A. Bouajjani, P. Habermehl, L. Holik, T. Touili, and T. Vojnar.
Antichainbased Universality and Inclusion Testing over Nondeterministic
Finite Tree Automata. Proceedings of 13th International Conference on
Implementation and Application of Automata (CIAA), LNCS, SpringerVerlag, San Francisco, 2008.
 S. Klüppelholz and C. Baier. AlternatingTime Stream Logic for
Multiagent Systems. Proceedings of 10th International Conference on
Coordination Models and Languages (COORDINATION), LNCS 5052, SpringerVerlag, Oslo, 2008.
Timed Control
 F. Cassez, A. David, K. Larsen, D. Lime, and J.F. Raskin.
Timed Control with Observation Based and Stuttering Invariant Strategies.
Proceedings of 5th International Symposium on Automated Technology
for Verification and Analysis (ATVA), LNCS 4762, Tokyo. 2007.
 F. Cassez. Efficient OntheFly Algorithms for Partially Observable
Timed Games. Proceedings of 5th International Conference on
Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 4763, Salzburg, 2007.
 D. Del Vecchio. A Partial Order Approach to Discrete Dynamic Feedback in
a Class of Hybrid Systems. Proceedings of 10th International
Workshop Hybrid Systems: Computation and Control (HSCC), LNCS 4416, SpringerVerlag, Pisa, 2007.
 P. Bouyer and F. Chevalier. On the Control of Timed and Hybrid Systems.
EATCS Bulletin 89, 2006.

