9 citations · 21 across the 8 of their papers we have counts for
6 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…
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…
Gray-box Monitoring of Hyperproperties (Extended Version)
Sandro Stucki, César Sánchez, Gerardo Schneider +1
Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtime verification is an appealing alternative. Logics for hyper…
Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, David Sands +1
Data minimisation is a privacy enhancing principle, stating that personal data collected should be no more than necessary for the specific purpose consented by the user. Checking t…
Model Checking Social Network Models
Raúl Pardo, Gerardo Schneider
A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the…