133 citations · 155 across the 27 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Reconfigurable Interaction for MAS Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may…
cs.LO2019
Environmentally-friendly GR(1) Synthesis
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Many problems in reactive synthesis are stated using two formulas ---an environment assumption and a system guarantee--- and ask for an implementation that satisfies the guarantee…