Distributed Synthesis: from Single to Multiple Agents

Informations projet

D-SynMA

N° de convention de subvention: 772459

DOI 10.3030/772459

Projet clôturé

Date de signature de la CE 19 Janvier 2018

Date de début 1 Mai 2018

Date de fin 30 Avril 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 1 871 272,00

Contribution de l’UE € 1 871 272,00

Coordonné par

GOETEBORGS UNIVERSITET
Sweden

Livrables

Open Research Data Pilot (1)

Data Management Plan

Data management plan must address following issues: 1. Making data Findable, 2. Making data openly Accessible, 3. Making data Interoperable, 4. Increase data Re-use, 5. Allocation of recourses and data security The data management plan will also have to specify if certain datasets remain closed and the reasons for not giving access should be given.

Publications

Conference proceedings (22)

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning

Auteurs: Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Publié dans: CAV 2021: International Conference on Computer Aided Verification, 2021
Éditeur: Springer
DOI: 10.1007/978-3-030-81685-8_36

Runtime Verification Meets Controller Synthesis

Auteurs: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Publié dans: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-19849-6_22

Actions over Core-Closed Knowledge Bases

Auteurs: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Publié dans: IJCAR 2022: International Joint Conference on Automated Reasoning, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-10769-6_17

On the Specification and Monitoring of Timed Normative Systems

Auteurs: Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Publié dans: RV 2021: International Conference on Runtime Verification, 2021
Éditeur: Springer
DOI: 10.1007/978-3-030-88494-9_5

Reconfigurable Interaction for MAS Modelling

Auteurs: Yehia Abd Alrahman,Giuseppe Perelli, Nir Piterman
Publié dans: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent, 2020
Éditeur: ACM
DOI: 10.5555/3398761.3398768

Enforcing Equilibria in Multi-Agent Systems

Auteurs: Giuseppe Perelli
Publié dans: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Éditeur: ACM
DOI: 10.5555/3306127.3331692

Nominal Büchi Automata with Name Allocation

Auteurs: Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Publié dans: CONCUR 2021: 32nd International Conference on Concurrency Theory, 2021
Éditeur: LIPIcs
DOI: 10.4230/lipics.concur.2021.4

Runtime Verification of Kotlin Coroutines

Auteurs: Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Publié dans: RV 2022: International Conference on Runtime Verification, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-17196-3_12

On Computational Tractability for Rational Verification

Auteurs: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Publié dans: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 329-335, ISBN 978-0-9992411-4-1
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/47

Equilibrium design for concurrent games

Auteurs: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.22

Model Checking Reconfigurable Interacting Systems

Auteurs: Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Publié dans: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-19759-8_23

Incorporating Monitors in Reactive Synthesis Without Paying the Price

Auteurs: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Publié dans: ATVA 2021: International Symposium on Automated Technology for Verification and Analysis, 2021
Éditeur: Springer
DOI: 10.1007/978-3-030-88885-5_22

A Linear-Time Nominal μ-Calculus with Name Allocation

Auteurs: Daniel Hausmann, Stefan Milius, Lutz Schröder
Publié dans: MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Éditeur: LIPIcs
DOI: 10.4230/lipics.mfcs.2021.58

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

Auteurs: Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman
Publié dans: AAMAS 2022: 20th International Conference on Autonomous Agents and Multiagent Systems, 2022
Éditeur: ACM
DOI: 10.5555/3535850.3536020

Combinations of qualitative winning for stochastic parity games

Auteurs: Krishnendu Chatterjee, Nir Piterman
Publié dans: Leibniz International Proceedings in Informatics, Numéro 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.6

Tainting in Smart Contracts: Combining Static and Runtime Verification

Auteurs: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Publié dans: RV 2022: International Conference on Runtime Verification, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-17196-3_8

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

Auteurs: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Publié dans: RV 2022: International Conference on Runtime Verification, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-17196-3_13

Reasoning about Quality and Fuzziness of Strategic Behaviours

Auteurs: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Publié dans: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1588-1594, ISBN 978-0-9992411-4-1
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/220

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

Auteurs: Yehia Abd Alrahman; Victor Braberman; Nicolas D'Ippolito; Nir Piterman; Sebastian Uchitel
Publié dans: 2021 American Control Conference (ACC), Numéro 3, 2021
Éditeur: IEEE
DOI: 10.23919/acc50511.2021.9482704

Modelling Flocks of Birds from the Bottom Up

Auteurs: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Publié dans: ISoLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-19759-8_6

A PO Characterisation of Reconfiguration

Auteurs: Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Publié dans: ICTAC 2022: International Colloquium on Theoretical Aspects of Computing, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-17715-6_5

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security

Auteurs: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Publié dans: KR 2021: 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Éditeur: IJCAI Organization
DOI: 10.24963/kr.2021/17

Other (9)

Measuring the Gain of Reconfigurable Communication

Auteurs: Lehaut, Mathieu; Piterman, Nir
Publié dans: ArXiV, Numéro 19, 2023
Éditeur: Cornell University
DOI: 10.48550/arxiv.2305.01425

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

Auteurs: Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Publié dans: ArXiV, 2020
Éditeur: Cornell University

Modelling and verification of reconfigurable multi-agent systems.

Auteurs: Yehia Abd Alrahman; Nir Piterman
Publié dans: ArXiV, Numéro 2, 2021
Éditeur: Cornell University
DOI: 10.48550/arxiv.2104.10998

"Nominal B\""uchi Automata with Name Allocation"

Auteurs: Urbat, Henning; Hausmann, Daniel; Milius, Stefan; Schröder, Lutz
Publié dans: ArXiV, Numéro 3, 2021
Éditeur: Cornell University
DOI: 10.48550/arxiv.2107.03213

Environmentally-friendly GR(1) Synthesis

Auteurs: Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Publié dans: ArXiV, Numéro 1, 2019
Éditeur: Cornell University

Operation Control Protocols in Power Distribution Grids

Auteurs: Alrahman, Yehia Abd; Vieira, Hugo Torres
Publié dans: ArXiV, Numéro 2, 2018
Éditeur: Cornell University

A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata

Auteurs: Daniel Hausmann, Nir Piterman
Publié dans: ArXiV, 2022
Éditeur: Cornell University
DOI: 10.48550/arxiv.2207.00517

Reconfigurable Interaction for MAS Modelling

Auteurs: Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Publié dans: ArXiV, Numéro 1, 2019
Éditeur: Cornell University

Incorporating Monitors in Reactive Synthesis without Paying the Price

Auteurs: Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo
Publié dans: ArXiV, Numéro 2, 2021
Éditeur: Cornell University
DOI: 10.48550/arxiv.2107.00929

Book chapters (2)

Testing for coordination fidelity

Auteurs: Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Publié dans: Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Éditeur: Springer
DOI: 10.1007/978-3-030-21485-2_10

Environmentally-Friendly GR(1) Synthesis

Auteurs: Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Publié dans: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Numéro 11428, 2019, Page(s) 229-246, ISBN 978-3-030-17464-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_13

Peer reviewed articles (8)

Nash Equilibrium and Bisimulation Invariance

Auteurs: Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Publié dans: Logical Methods in Computer Science, Numéro 15, 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:32)2019

A distributed API for coordinating AbC programs

Auteurs: Yehia Abd Alrahman, Giulio Garbi
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 22/4, 2020, Page(s) 477-496, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-020-00553-4

Programming interactions in collective adaptive systems by relying on attribute-based communication

Auteurs: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Publié dans: Science of Computer Programming, Numéro 192, 2020, Page(s) 102428, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2020.102428

Automated replication of tuple spaces via static analysis

Auteurs: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Publié dans: Science of Computer Programming, Numéro 01676423, 2022, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2022.102863

Modelling and verification of reconfigurable multi-agent systems

Auteurs: Yehia Abd Alrahman, Nir Piterman
Publié dans: Journal of Autonomous Agents and Multi-agent Systems, Numéro 35, 2021, ISSN 1573-7454
Éditeur: Springer
DOI: 10.1007/s10458-021-09521-x

Control and Discovery of Environment Behaviour

Auteurs: Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Publié dans: IEEE Transactions on Software Engineering, 2019, Page(s) 1-1, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2020.3044532

A calculus for collective-adaptive systems and its behavioural theory

Auteurs: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Publié dans: Information and Computation, Numéro 268, 2019, Page(s) 104457, ISSN 0890-5401
Éditeur: Academic Press
DOI: 10.1016/j.ic.2019.104457

A coordination protocol language for power grid operation control

Auteurs: Yehia Abd Alrahman, Hugo Torres Vieira
Publié dans: Journal of Logical and Algebraic Methods in Programming, Numéro 109, 2019, Page(s) 100487, ISSN 2352-2208
Éditeur: Elsevier
DOI: 10.1016/j.jlamp.2019.100487