Nir Piterman
Göteborgs universitet
H-index: 38
Europe-Sweden
Top articles of Nir Piterman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis | Daniel Hausmann Mathieu Lehaut Nir Piterman | 2024/4/5 | |
Fair -Regular Games | Daniel Hausmann Nir Piterman Irmak Sağlam Anne-Kathrin Schmuck | 2024/4/5 | |
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts | arXiv preprint arXiv:2306.08144 | Piergiuseppe Mallozzi Nir Piterman Pierluigi Nuzzo Gerardo Schneider Patrizio Pelliccione | 2023/6/13 |
Measuring the Gain of Reconfigurable Communication | arXiv preprint arXiv:2305.01425 | Mathieu Lehaut Nir Piterman | 2023/5/2 |
Language support for verifying reconfigurable interacting systems | International Journal on Software Tools for Technology Transfer | Yehia Abd Alrahman Shaun Azzopardi Luca Di Stefano Nir Piterman | 2023/12 |
Correct-by-Design Teamwork Plans for Multi-Agent Systems | arXiv preprint arXiv:2301.01257 | Yehia Abd Alrahman Nir Piterman | 2023/1/3 |
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae | Shaun Azzopardi David Lidell Nir Piterman Gerardo Schneider | 2023/10/19 | |
LTL Synthesis on Infinite-State Arenas defined by Programs | arXiv preprint arXiv:2307.09776 | Shaun Azzopardi Nir Piterman Gerardo Schneider Luca di Stefano | 2023/7/19 |
Games for Efficient Supervisor Synthesis | IEEE Control Systems Letters | Daniel Hausmann Prabhat Kumar Jha Nir Piterman | 2023/6/29 |
Model checking reconfigurable interacting systems | Yehia Abd Alrahman Shaun Azzopardi Nir Piterman | 2022/10/17 | |
A PO Characterisation of Reconfiguration | Yehia Abd Alrahman Mauricio Martel Nir Piterman | 2022/9/27 | |
Actions over Core-Closed Knowledge Bases | Claudia Cauli Magdalena Ortiz Nir Piterman | 2022/8/1 | |
R-CHECK: A Model Checker for Verifying Reconfigurable MAS. | Yehia Abd Alrahman Shaun Azzopardi Nir Piterman | 2022/5/9 | |
A Survey on Satisfiability Checking for the -Calculus Through Tree Automata | Daniel Hausmann Nir Piterman | 2022/12/29 | |
Runtime verification meets controller synthesis | Shaun Azzopardi Nir Piterman Gerardo Schneider | 2022/10/17 | |
Modelling and verification of reconfigurable multi-agent systems | Autonomous Agents and Multi-Agent Systems | Yehia Abd Alrahman Nir Piterman | 2021/10 |
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue | arXiv preprint arXiv:2107.14668 | Yehia Abd Alrahman Mauricio Martel Nir Piterman | 2021/7/30 |
Synthesis of run-to-completion controllers for discrete event systems | Yehia Abd Alrahman Victor Braberman Nicolás D'Ippolito Nir Piterman Sebastian Uchitel | 2021/5/25 | |
Pre-deployment security assessment for cloud services through semantic reasoning | Claudia Cauli Meng Li Nir Piterman Oksana Tkachuk | 2021 | |
Incorporating monitors in reactive synthesis without paying the price | Shaun Azzopardi Nir Piterman Gerardo Schneider | 2021/10/12 |