no code implementations • 24 Jul 2020 • Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
The design and implementation of an e-voting system is a challenging task.
no code implementations • 8 Dec 2016 • Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
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.