Publications
2013
- ABD13 — Eugène Asarin, Nicolas Basset, and Aldric Degorre. Spectral Gap in Timed Automata. In Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, volume 8053 of Lecture Notes in Computer Science, pages 16-30. Springer-Verlag, 2013. [pdf, BibTeX]
- DFM13 — Alexandre Donzé, Thomas Ferrère, and Oded Maler. . To appear in Proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013.
- KBO13 — Jean-François Kempf, Marius Bozga, and Oded Maler. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. In Proceedings of the 19h International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, volume 7795 of Lecture Notes in Computer Science, pages 385-400. Springer-Verlag, 2012. [pdf, BibTeX]
- Bas13 — Nicolas Basset. A maximal entropy stochastic process for a timed automaton. To appear in Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013. Springer-Verlag, 2013. [pdf, BibTeX]
- BDE13 — Rodica Bozianu, Cătălin Dima, and Constantin Enea. Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics . In Proceedings of the 14th conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013. ACM Library, 2013. [pdf, BibTeX]
2012
- Sli12 — Anatol Slissenko.Towards Analysis of Information Structure of Computations. In Proceedings of the International Interdisciplinary Conference on Philosophy, Mathematics, Linguistics: Aspects of Interaction, PhML 2012, 2012. [pdf, BibTeX]
- GD12 — Dimitar P. Guelev and Catalin Dima. Epistemic ATL with Perfect Recall, Past and Strategy Contexts. In Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2012, volume 7486 of Lecture Notes in Computer Science, pages 77-93. Springer-Verlag, 2012. [pdf, BibTeX]
- BM12 — Laurent Bienvenu and Benoît Monin. Von Neumann's Biased Coin Revisited. In Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, pages 145-154. IEEE, 2012. [pdf, BibTeX]
- ABB+12 — Eugène Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, and Dominique Perrin. Toward a Timed Theory of Channel Coding. In Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, volume 7595 of Lecture Notes in Computer Science, pages 27-42. Springer-Verlag, 2012. [pdf, BibTeX]
- ABDP12 — Eugène Asarin, Nicolat Basset, Aldric Degorre, and Dominique Perrin. Generating functions of timed languages. In Proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, volume 7464 of Lecture Notes in Computer Science, pages 124-135. Springer-Verlag, 2012. [pdf, BibTeX]
- Asa12 — Eugène Asarin. Measuring Information in Timed Languages. In Proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, volume 7183 of Lecture Notes in Computer Science, pages 1-2. Springer-Verlag, 2012. [pdf, BibTeX]
- Cer12 — Julien Cervelle. Covering Space in the Besicovitch Topology. In Proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, volume 7183 of Lecture Notes in Computer Science, pages 169-178. Springer-Verlag, 2012. [pdf, BibTeX]