Search Results for author:
Found 4 papers, 0 papers with code
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements
The COVID-19 pandemic has influenced virtually all aspects of our lives.
Computers and Society Multiagent Systems
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
The design and implementation of an e-voting system is a challenging task.
Fixpoint Approximation of Strategic Abilities under Imperfect Information
In this paper, we propose translations of ATLir formulae that provide lower and upper bounds for their truth values, and are cheaper to verify than the original specifications.
Iterative Judgment Aggregation
Judgment aggregation problems form a class of collective decision-making problems represented in an abstract way, subsuming some well known problems such as voting.
