Skip to main content
An official website of the European UnionAn official EU website
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Content archived on 2024-06-18

Collective Adaptive System SynThesIs with Non-zero-sum Games

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Simple Priced Timed Games Are Not That Simple

Author(s): Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
Published in: arXivProceedings of the 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Dec 2015, Bangalore, India. pp.278-292, ⟨10.4230/LIPIcs.FSTTCS.2015.p⟩ 2015
Permanent ID: Digital Object Identifier:10.48550/arxiv.1507.03786; arXiv:http://arxiv.org/abs/1507.03786; Microsoft Academic Graph Identifier:2219452381; Digital Object Identifier:10.4230/lipics.fsttcs.2015.278; Microsoft Academic Graph Identifier:3105058719; Handle:2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/226106

Synthesizing Structured Reactive Programs via Deterministic Tree Automata

Author(s): Benedikt Brütsch
Published in: Open Publishing AssociationElectronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 107-113 (2013) 2013
Permanent ID: Digital Object Identifier:10.4204/eptcs.112.16; Digital Object Identifier:10.1016/j.ic.2015.03.013; Digital Object Identifier:10.48550/arxiv.1303.0797; arXiv:http://arxiv.org/abs/1303.0797; Microsoft Academic Graph Identifier:2001101279; Microsoft Academic Graph Identifier:3099377110; Microsoft Academic Graph Identifier:2333929974

Simple strategies for Banach-Mazur games and fairly correct systems

Author(s): Quentin Menet; Thomas Brihaye
Published in: Open Publishing AssociationElectronic Proceedings in Theoretical Computer Science, Vol 119, Iss Proc. GandALF 2013, Pp 21-34 (2013) 2013
Permanent ID: Digital Object Identifier:10.4204/eptcs.119.5; Digital Object Identifier:10.48550/arxiv.1304.5438; arXiv:http://arxiv.org/abs/1304.5438; Microsoft Academic Graph Identifier:3102583959; Microsoft Academic Graph Identifier:2047950576

Reachability in MDPs: Refining Convergence of Value Iteration

Author(s): Haddad, Serge; Monmege, Benjamin
Published in: Springer International Publishing8th International Workshop on Reachability Problems (RP'14) 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-319-11439-2_10; Microsoft Academic Graph Identifier:1626822335; Handle:2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/196023

Quantitative Games under Failures

Author(s): Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
Published in: arXivhttps://hal.archives-ouvertes.fr/hal-01273251 2015
Permanent ID: Digital Object Identifier:10.48550/arxiv.1504.06744; arXiv:http://arxiv.org/abs/1504.06744; Microsoft Academic Graph Identifier:2963698314; Digital Object Identifier:10.4230/lipics.fsttcs.2015.293; Handle:2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/226104

Interval iteration algorithm for MDPs and IMDPs

Author(s): Haddad, Serge; Monmege, Benjamin
Published in: Elsevier BVTheoretical Computer Science, Elsevier, 2018, 735, pp.111 - 131. ⟨10.1016/j.tcs.2016.12.003⟩ 2018
Permanent ID: Digital Object Identifier:10.1016/j.tcs.2016.12.003; Microsoft Academic Graph Identifier:2568766587

Infinite games with finite knowledge gaps

Author(s): Dietmar Berwanger; Anup Basil Mathew
Published in: Elsevier BVCrossref 2017
Permanent ID: Digital Object Identifier:10.1016/j.ic.2016.10.009; Digital Object Identifier:10.48550/arxiv.1411.5820; arXiv:http://arxiv.org/abs/1411.5820; Microsoft Academic Graph Identifier:1890835473

A unifying survey on weighted logics and weighted automata

Author(s): Gastin, Paul; Monmege, Benjamin
Published in: Springer Science and Business Media LLCEISSN: 1433-7479 2015
Permanent ID: Digital Object Identifier:10.1007/s00500-015-1952-6; Microsoft Academic Graph Identifier:2204174169

Distributed Synthesis of State-Dependent Switching Control

Author(s): Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; de Vuyst, Florian; Chamoin, Ludovic
Published in: Springer International PublishingISSN: 0302-9743 2016
Permanent ID: Digital Object Identifier:10.1007/978-3-319-45994-3_9; Digital Object Identifier:10.48550/arxiv.1604.01745; arXiv:http://arxiv.org/abs/1604.01745; Microsoft Academic Graph Identifier:2336917276

Simple strategies for Banach–Mazur games and sets of probability 1

Author(s): Axel Haddad; Thomas Brihaye; Quentin Menet
Published in: Elsevier BVCrossref 2015
Permanent ID: Digital Object Identifier:10.1016/j.ic.2015.06.004; Microsoft Academic Graph Identifier:744920664

Software

ptrie 1.0.1

Author(s): Peter Gjøl Jensen
Publisher: Zenodo
DOI: 10.5281/zenodo.3252100

Other Research Products

Probabilistic Robust Timed Games

Author(s): Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan

One-Clock Priced Timed Games with Arbitrary Weights

Author(s): Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin

There was an error trying to search data from OpenAIRE

No results available