133 citations · 155 across the 26 of their papers we have counts for
3 papers · 1 filter
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global p…
Incorporating Monitors in Reactive Synthesis without Paying the Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarat…
Modelling and Verification of Reconfigurable Multi-Agent Systems
Yehia Abd Alrahman, Nir Piterman
We propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue jo…