Accepted Publications

  • S. Akshay, L. Hélouët, C. Jard, P.A. Reyniers, Robustness of Time Petri Nets under Guard Enlargement, Fundamenta Informaticae, 2015
  • S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu, Implementing Realistic Asynchronous Automata. Accepted in FSTTCS’13 (33rd Foundations of Software Technology and Theoretical Computer Science), December 12 to 14, 2013. IIT Guwahati, India.
  • L. Hélouët, S. Akshay, M. Mukund, Sessions with an unbounded number of Agents, Accepted at ACSD'14, June 2014. Available as an extended research report here .
  • Manindra Agrawal, S. Akshay, Blaise Genest, P.S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. Accepted in JACM, 2014. Available here
  • G. Aucher, Supervisory Control Theory in Epistemic Temporal Logic, AAMAS 2014, pages 333-340, 2014


  • D. Raju, Diagnosability of Modular Discrete Event Systems, master thesis, July 2014.

Ongoing work

  • S. Akshay, Blaise Genest, Loïc Hélouet. Timed Petri Nets with (restricted) Urgency, submitted. Available here
  • G. Aucher, Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory, HAL Research Report, 84 pages, September 2013.

Activity reports