14 citations · 26 across the 6 of their papers we have counts for
6 papers
sweap: Reactive Synthesis for Infinite-State Integer Problems
Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Recent years have seen a significant increase in the interest in reactive synthesis from specifications that relate to infinite state spaces. We present sweap, a tool for synthesis…
Symbolic ω-automata with obligations
Luca Di Stefano
Extensions of ω-automata to infinite alphabets typically rely on symbolic guards to keep the transition relation finite, and on registers or memory cells to preserve information fr…
Execution and monitoring of HOA automata with HOAX
Luca Di Stefano
We present a tool called Hoax for the execution of ω-automata expressed in the popular HOA format. The tool leverages the notion of trap sets to enable runtime monitoring of any (n…
Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, Nir Piterman +1
Recently, interest has increased in applying reactive synthesis to richer-than-Boolean domains. A major (undecidable) challenge in this area is to establish when certain repeating…
Post-Metering Value-Added Services for Low Voltage Electricity Users: Lessons Learned From the Italian Experience of CHAIN 2
Daniele Serra, Daniele Mardero, Luca Di Stefano +1
Electrical energy consumption data accessibility for low voltage end users is one of the pillars of smart grids. In some countries, despite the presence of smart meters, a fragment…
Towards formal models and languages for verifiable Multi-Robot Systems
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety. These threats may not alwa…