Skip to main content

Distributed Synthesis: from Single to Multiple Agents

Deliverables

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.

Searching for OpenAIRE data...

Publications

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

Author(s): Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Published in: 2020

Environmentally-friendly GR(1) Synthesis

Author(s): Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Published in: Issue 1, 2019

Operation Control Protocols in Power Distribution Grids

Author(s): Alrahman, Yehia Abd; Vieira, Hugo Torres
Published in: Issue 2, 2018

Reconfigurable Interaction for MAS Modelling

Author(s): Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Published in: Issue 1, 2019

On Computational Tractability for Rational Verification

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 329-335
DOI: 10.24963/ijcai.2019/47

Reasoning about Quality and Fuzziness of Strategic Behaviours

Author(s): Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1588-1594
DOI: 10.24963/ijcai.2019/220

Nash Equilibrium and Bisimulation Invariance

Author(s): Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Published in: Logical Methods in Computer Science, Issue 15, 2019, ISSN 1860-5974
DOI: 10.23638/lmcs-15(3:32)2019

A distributed API for coordinating AbC programs

Author(s): Yehia Abd Alrahman, Giulio Garbi
Published in: International Journal on Software Tools for Technology Transfer, Issue 22/4, 2020, Page(s) 477-496, ISSN 1433-2779
DOI: 10.1007/s10009-020-00553-4

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

Author(s): Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Published in: Science of Computer Programming, Issue 192, 2020, Page(s) 102428, ISSN 0167-6423
DOI: 10.1016/j.scico.2020.102428

Control and Discovery of Environment Behaviour

Author(s): Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Published in: IEEE Transactions on Software Engineering, 2019, Page(s) 1-1, ISSN 0098-5589
DOI: 10.1109/tse.2020.3044532

A calculus for collective-adaptive systems and its behavioural theory

Author(s): Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Published in: Information and Computation, Issue 268, 2019, Page(s) 104457, ISSN 0890-5401
DOI: 10.1016/j.ic.2019.104457

A coordination protocol language for power grid operation control

Author(s): Yehia Abd Alrahman, Hugo Torres Vieira
Published in: Journal of Logical and Algebraic Methods in Programming, Issue 109, 2019, Page(s) 100487, ISSN 2352-2208
DOI: 10.1016/j.jlamp.2019.100487

Environmentally-Friendly GR(1) Synthesis

Author(s): Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Published in: 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, Issue 11428, 2019, Page(s) 229-246
DOI: 10.1007/978-3-030-17465-1_13