21 citations · 78 across the 18 of their papers we have counts for
8 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…
Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Raúl Pardo, César Sánchez, Gerardo Schneider
We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, b…
Timed Automata Semantics for Visual e-Contracts
Enrique Martínez, M. Emilia Cambronero, Gregorio Díaz +1
C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohib…