Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Distributed Synthesis: from Single to Multiple Agents

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Open Research Data Pilot (1)
Data Management Plan (odnośnik otworzy się w nowym oknie)

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.

Publikacje

Conference proceedings (32)
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning (odnośnik otworzy się w nowym oknie)

Autorzy: Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Opublikowane w: CAV 2021: International Conference on Computer Aided Verification, 2021
Wydawca: Springer
DOI: 10.1007/978-3-030-81685-8_36

Generic Model Checking for Modal Fixpoint Logics in COOL-MC (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Opublikowane w: VMCAI 2024: International Conference on Verification, Model Checking, and Abstract Interpretation, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-50524-9_8

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants (odnośnik otworzy się w nowym oknie)

Autorzy: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Opublikowane w: CMSB 2023: Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-42697-1_4

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Opublikowane w: FOSSACS 2024: 27th International Conference on Foundations of Software Science and Computation Structures, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-57228-9_4

Runtime Verification Meets Controller Synthesis (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Opublikowane w: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-19849-6_22

Actions over Core-Closed Knowledge Bases (odnośnik otworzy się w nowym oknie)

Autorzy: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Opublikowane w: IJCAR 2022: International Joint Conference on Automated Reasoning, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-10769-6_17

On the Specification and Monitoring of Timed Normative Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Opublikowane w: RV 2021: International Conference on Runtime Verification, 2021
Wydawca: Springer
DOI: 10.1007/978-3-030-88494-9_5

Reconfigurable Interaction for MAS Modelling (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman,Giuseppe Perelli, Nir Piterman
Opublikowane w: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent, 2020
Wydawca: ACM
DOI: 10.5555/3398761.3398768

Enforcing Equilibria in Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Giuseppe Perelli
Opublikowane w: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Wydawca: ACM
DOI: 10.5555/3306127.3331692

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
Opublikowane w: ATVA 2023: International Symposium on Automated Technology for Verification and Analysis, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-45332-8_15

Fair Omega-regular Games (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Nir Piterman, Irmaq Saglam, Anne-Kathrin Schmuck
Opublikowane w: FOSSACS 2024: 27th International Conference on Foundations of Software Science and Computation Structures, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-57228-9_2

Nominal Büchi Automata with Name Allocation (odnośnik otworzy się w nowym oknie)

Autorzy: Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Opublikowane w: CONCUR 2021: 32nd International Conference on Concurrency Theory, 2021
Wydawca: LIPIcs
DOI: 10.4230/lipics.concur.2021.4

Runtime Verification of Kotlin Coroutines (odnośnik otworzy się w nowym oknie)

Autorzy: Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Opublikowane w: RV 2022: International Conference on Runtime Verification, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-17196-3_12

On Computational Tractability for Rational Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Opublikowane w: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Strona(/y) 329-335, ISBN 978-0-9992411-4-1
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/47

Equilibrium design for concurrent games (odnośnik otworzy się w nowym oknie)

Autorzy: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.22

Model Checking Reconfigurable Interacting Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Opublikowane w: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-19759-8_23

Incorporating Monitors in Reactive Synthesis Without Paying the Price (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Opublikowane w: ATVA 2021: International Symposium on Automated Technology for Verification and Analysis, 2021
Wydawca: Springer
DOI: 10.1007/978-3-030-88885-5_22

A Linear-Time Nominal μ-Calculus with Name Allocation (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Stefan Milius, Lutz Schröder
Opublikowane w: MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Wydawca: LIPIcs
DOI: 10.4230/lipics.mfcs.2021.58

Synchronous Agents, Verification, and Blame - A Deontic View (odnośnik otworzy się w nowym oknie)

Autorzy: Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Opublikowane w: ICTAC 2023: Theoretical Aspects of Computing, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-47963-2_20

R-CHECK: A Model Checker for Verifying Reconfigurable MAS (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman
Opublikowane w: AAMAS 2022: 20th International Conference on Autonomous Agents and Multiagent Systems, 2022
Wydawca: ACM
DOI: 10.5555/3535850.3536020

Faster Game Solving by Fixpoint Acceleration

Autorzy: Daniel Hausmann
Opublikowane w: FICS 2024:12th International Workshop on Fixed Points in Computer Science, 2024
Wydawca: Cornell University

Combinations of qualitative winning for stochastic parity games (odnośnik otworzy się w nowym oknie)

Autorzy: Krishnendu Chatterjee, Nir Piterman
Opublikowane w: Leibniz International Proceedings in Informatics, Numer 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.6

Compositional Verification of Stigmergic Collective Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Di Stefano, Frédéric Lang
Opublikowane w: VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-24950-1_8

Tainting in Smart Contracts: Combining Static and Runtime Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Opublikowane w: RV 2022: International Conference on Runtime Verification, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-17196-3_8

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Opublikowane w: RV 2022: International Conference on Runtime Verification, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-17196-3_13

Reasoning about Quality and Fuzziness of Strategic Behaviours (odnośnik otworzy się w nowym oknie)

Autorzy: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Opublikowane w: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Strona(/y) 1588-1594, ISBN 978-0-9992411-4-1
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/220

Synthesis of Run-To-Completion Controllers for Discrete Event Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman; Victor Braberman; Nicolas D'Ippolito; Nir Piterman; Sebastian Uchitel
Opublikowane w: 2021 American Control Conference (ACC), Numer 3, 2021
Wydawca: IEEE
DOI: 10.23919/acc50511.2021.9482704

Synthesis for prefix first-order logic on data words

Autorzy: Julien Grange, Mathieu Lehaut
Opublikowane w: FORTE 2024: 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 2024
Wydawca: Springer

COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
Opublikowane w: CADE 2023: International Conference on Automated Deduction, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-38499-8_14

Modelling Flocks of Birds from the Bottom Up (odnośnik otworzy się w nowym oknie)

Autorzy: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Opublikowane w: ISoLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-19759-8_6

A PO Characterisation of Reconfiguration (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Opublikowane w: ICTAC 2022: International Colloquium on Theoretical Aspects of Computing, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-17715-6_5

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (odnośnik otworzy się w nowym oknie)

Autorzy: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Opublikowane w: KR 2021: 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Wydawca: IJCAI Organization
DOI: 10.24963/kr.2021/17

Other (14)
Measuring the Gain of Reconfigurable Communication (odnośnik otworzy się w nowym oknie)

Autorzy: Lehaut, Mathieu; Piterman, Nir
Opublikowane w: ArXiV, Numer 19, 2023
Wydawca: Cornell University
DOI: 10.48550/arxiv.2305.01425

Correct-by-Design Teamwork Plans for Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Nir Piterman
Opublikowane w: 2023
Wydawca: Cornell University
DOI: 10.48550/arxiv.2301.01257

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

Autorzy: Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Opublikowane w: ArXiV, 2020
Wydawca: Cornell University

Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Lutz Schröder
Opublikowane w: ArXiV, 2024
Wydawca: Cornell University
DOI: 10.48550/arxiv.2212.11055

LTL Synthesis on Infinite-State Arenas defined by Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca di Stefano
Opublikowane w: ArXiV, 2023
Wydawca: Cornell University
DOI: 10.48550/arxiv.2307.09776

Modelling and verification of reconfigurable multi-agent systems. (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman; Nir Piterman
Opublikowane w: ArXiV, Numer 2, 2021
Wydawca: Cornell University
DOI: 10.48550/arxiv.2104.10998

"Nominal B\""uchi Automata with Name Allocation" (odnośnik otworzy się w nowym oknie)

Autorzy: Urbat, Henning; Hausmann, Daniel; Milius, Stefan; Schröder, Lutz
Opublikowane w: ArXiV, Numer 3, 2021
Wydawca: Cornell University
DOI: 10.48550/arxiv.2107.03213

Environmentally-friendly GR(1) Synthesis

Autorzy: Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Opublikowane w: ArXiV, Numer 1, 2019
Wydawca: Cornell University

Operation Control Protocols in Power Distribution Grids

Autorzy: Alrahman, Yehia Abd; Vieira, Hugo Torres
Opublikowane w: ArXiV, Numer 2, 2018
Wydawca: Cornell University

A Direct Translation from LTL with Past to Deterministic Rabin Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Shaun Azzopardi, David Lidell, Nir Piterman
Opublikowane w: ArXiV, 2024
Wydawca: Cornell University
DOI: 10.48550/arxiv.2405.01178

A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Nir Piterman
Opublikowane w: ArXiV, 2022
Wydawca: Cornell University
DOI: 10.48550/arxiv.2207.00517

Reconfigurable Interaction for MAS Modelling

Autorzy: Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Opublikowane w: ArXiV, Numer 1, 2019
Wydawca: Cornell University

Incorporating Monitors in Reactive Synthesis without Paying the Price (odnośnik otworzy się w nowym oknie)

Autorzy: Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo
Opublikowane w: ArXiV, Numer 2, 2021
Wydawca: Cornell University
DOI: 10.48550/arxiv.2107.00929

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts (odnośnik otworzy się w nowym oknie)

Autorzy: Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman, Gerardo Schneider, Patrizio Pelliccione
Opublikowane w: ArXiV, 2023
Wydawca: Cornell University
DOI: 10.48550/arxiv.2306.08144

Book chapters (3)
A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Nir Piterman
Opublikowane w: Principles of System Design, 2022, Strona(/y) 228-251
Wydawca: Springer
DOI: 10.1007/978-3-031-22337-2_11

Testing for coordination fidelity (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Opublikowane w: Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Wydawca: Springer
DOI: 10.1007/978-3-030-21485-2_10

Environmentally-Friendly GR(1) Synthesis (odnośnik otworzy się w nowym oknie)

Autorzy: Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Opublikowane w: 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, Numer 11428, 2019, Strona(/y) 229-246, ISBN 978-3-030-17464-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_13

Peer reviewed articles (12)
Games for Efficient Supervisor Synthesis (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
Opublikowane w: IEEE Control Systems Letters, 2023, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2023.3290727

Nash Equilibrium and Bisimulation Invariance (odnośnik otworzy się w nowym oknie)

Autorzy: Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Opublikowane w: Logical Methods in Computer Science, Numer 15, 2019, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:32)2019

A distributed API for coordinating AbC programs (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Giulio Garbi
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 22/4, 2020, Strona(/y) 477-496, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-020-00553-4

Programming interactions in collective adaptive systems by relying on attribute-based communication (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Opublikowane w: Science of Computer Programming, Numer 192, 2020, Strona(/y) 102428, ISSN 0167-6423
Wydawca: Elsevier BV
DOI: 10.1016/j.scico.2020.102428

Automated replication of tuple spaces via static analysis (odnośnik otworzy się w nowym oknie)

Autorzy: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Opublikowane w: Science of Computer Programming, Numer 01676423, 2022, ISSN 0167-6423
Wydawca: Elsevier BV
DOI: 10.1016/j.scico.2022.102863

Modelling and verification of reconfigurable multi-agent systems (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Nir Piterman
Opublikowane w: Journal of Autonomous Agents and Multi-agent Systems, Numer 35, 2021, ISSN 1573-7454
Wydawca: Springer
DOI: 10.1007/s10458-021-09521-x

Compositional verification of priority systems using sharp bisimulation (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Di Stefano, Frédéric Lang
Opublikowane w: Formal Methods in System Design, 2023, ISSN 1572-8102
Wydawca: Springer
DOI: 10.1007/s10703-023-00422-1

Language Support for Verifying Reconfigurable Interacting Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Opublikowane w: STTT: International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-023-00729-8

Control and Discovery of Environment Behaviour (odnośnik otworzy się w nowym oknie)

Autorzy: Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Opublikowane w: IEEE Transactions on Software Engineering, 2019, Strona(/y) 1-1, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2020.3044532

A calculus for collective-adaptive systems and its behavioural theory (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Opublikowane w: Information and Computation, Numer 268, 2019, Strona(/y) 104457, ISSN 0890-5401
Wydawca: Academic Press
DOI: 10.1016/j.ic.2019.104457

Modelling Flocks of Birds and Colonies of Ants from the Bottom Up (odnośnik otworzy się w nowym oknie)

Autorzy: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Opublikowane w: STTT: International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-023-00731-0

A coordination protocol language for power grid operation control (odnośnik otworzy się w nowym oknie)

Autorzy: Yehia Abd Alrahman, Hugo Torres Vieira
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, Numer 109, 2019, Strona(/y) 100487, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2019.100487

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 12 Grudnia 2024

Moja broszura

Permalink: https://cordis.europa.eu/project/id/772459/results/pl

European Union, 2025

Moja broszura 0 0