21 citations · 78 across the 18 of their papers we have counts for
4 papers · 1 filter
Synchronous Agents, Verification, and Blame -- A Deontic View
Karam Kharraz, Shaun Azzopardi, Gerardo Schneider +1
A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collectiv…
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…
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman +2
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…