Blog Archives

FoCAS Metro Map

FoCAS Metro Map

At the FoCAS Video Sprint in early January 2016 we developed the concept of a FoCAS Metro map to highlight the journeys, intersections and destinations of the FoCAS projects. Best viewed Full Screen

Tagged with: , , , , , , ,
Posted in For Educators, For Researchers, For Students, News Stream, Presentations, Video

Cassting Floor Heating Case Study

Cassting Floor Heating Case Study

Video detailing the Cassting project’s floor heating case study involving Seluxit and Aalborg University, Denmark. The CASSTING project’s uses game theory to analyse and design collective adaptive systems. They have developed a demonstrator based on a floor heating case study

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

Cassting presentation: Quantified CTL – Nikolas Markey

Quantified NTL from FoCAS Initiative

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

ALPAGA : a Tool for Solving Parity Games with Imperfect Information

Background Paper

Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Martin De Wulf and Thomas A. Henzinger 15th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), York, UK, 2009, pages 58-61. http://www.lsv.ens-cachan.fr/~doyen/papers/Alpaga.pdf Used by the Cassting project Alpaga is

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Beyond Nash Equilibrium: Solution Concepts for the 21st Century

Background Paper

Joseph Y. Halpern In Krzysztof R. Apt, Erich Grädel: Lectures in Game Theory for Computer Scientists, 2011. http://arxiv.org/pdf/0806.2139 Used by the Cassting project Nash equilibrium is the most commonly-used notion of equilibrium for non-zero-sum games. However, it suffers from numerous

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

The Complexity of Nash Equilibria in Stochastic Multiplayer Games

Background Paper

Michael Ummels, Dominik Wojtczak Logical Methods in Computer Science 7(3) (2011) http://arxiv.org/pdf/1109.4017 Used by the Cassting project This paper analyses the computational complexity of finding Nash equilibria in turn-based stochastic multiplayer games with omega-regular objectives. It shows that restricting the

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Robust Controller Synthesis in Timed Automata

Background Paper

Ocan Sankur, Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier 24th International Conference on Concurrency Theory (CONCUR), Buenos Aires, Argentina, 2013, pages 546-560. http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SBMR-concur13.pdf Used by the Cassting project Timed automata are a convenient model for representing real-time systems. However, their

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Alternating-time Temporal Logic

Background Paper

Rajeev Alur, Thomas A. Henzinger and Orna Kupferman Journal of the ACM 49(5), 2002, pages 672-713 http://pub.ist.ac.at/~tah/Publications/alternating-time_temporal_logic.pdf Used by the Cassting project Temporal logics are a very powerful formalism for expressing properties to be checked in a computerized system. They

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Synthesis from Component Libraries

Background Paper

Yoad Lustig, Moshe Y. Vardi 12th International Conference Foundations of Software Science and Computational Structures (FOSSACS), York, UK, 2009, pages 395-409 http://www.cs.rice.edu/~vardi/papers/fossacs09.pdf Used by the Cassting project Synthesis is the automated construction of a system from its specification. In the

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Synthesizing Reactive Programs

Background Paper

Madhusudan Parthasarathy 20th Conference on Computer Science Logic (CSL), Bergen, Norway, 2011, pages 428-442 http://www.cs.uiuc.edu/~madhu/csl11.pdf Used by the Cassting project Current theoretical solutions to the classical Church’s synthesis problem are focussed on synthesizing transition systems and not programs. Programs are

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers