research
∙
09/20/2022
A Hierarchy of Nondeterminism
We study three levels in a hierarchy of nondeterminism: A nondeterminist...
share
research
∙
06/12/2021
Minimization and Canonization of GFG Transition-Based Automata
While many applications of automata in formal methods can use nondetermi...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
08/14/2018
Timed Network Games with Clocks
Network games are widely used as a model for selfish resource-allocation...
research
∙
06/15/2018