Blog Archives

Cassting Workshop: Non-zero-sum Games for Synthesis

12 April 2014, Grenoble, France Colocated with ETAPS’14 Visit website: http://www.cassting-project.eu/workshop-2014/ Scope of the workshop Cassting is a European research project funded by the European Commission under the FP7 for Information and Communication Technology. The objective of Cassting is to

Tagged with:
Posted in Calls for Participation, Conferences & Workshops, For Researchers

New Cassting publication

Lower-Bound Constrained Runs in Weighted Timed Automata Patricia Bouyer, Kim G. Larsen, Nicolas Markey. In Performance Evaluation, Elsevier Science Publishers, 2014. (To appear)

Tagged with: ,
Posted in For Researchers, For Students, News Stream

Media from Cassting’s 2nd meeting

FoCAS Project Cassting held their second meeting in Aalborg, Denmark from 30th September – 1st October. They’ve collected together many of the presentations for download, for example: Simple strategies for Banach-Mazur games and fairly correct systems: Thomas Brihaye: Algorithms for

Tagged with:
Posted in For Researchers, News Stream

4 new Cassting publications

1. Quantified CTL: expressiveness and complexity François Laroussinie, Nicolas Markey. 2. Satisfiability of ATL with strategy contexts François Laroussinie, Nicolas Markey. 3. Robust Controller Synthesis in Timed Automata Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. 4. Robust Weighted Timed

Tagged with: ,
Posted in For Researchers, For Students, News Stream

Nicolas Markey Interview

Nicolas Markey

Interview with Nicolas Markey from FET FoCAS on Vimeo. Nicolas is the coordinator of the Cassting Project. He is a full-time researcher at LSV of CNRS, Paris, France. His main research track relates to the development of formal methods for

Tagged with: ,
Posted in For Educators, For Researchers, Research Landscape, Video, Video Opinions

Introduction to Cassting

Twenty20 presentation by Nicolas Markey. With Audio. From the FoCAS Inter-project meeting, Barcelona, June 2013.

Tagged with: ,
Posted in By Event, For Educators, For Researchers, For Students, Inter-Project Meeting 2013, Presentations, Twenty20, Video