research
∙
09/21/2022
Adversarial Formal Semantics of Attack Trees and Related Problems
Security is a subject of increasing attention in our actual society in o...
share
research
∙
05/02/2022
On the Role of Postconditions in Dynamic First-Order Epistemic Logic
Dynamic Epistemic Logic (DEL) is a logic that models information change ...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
01/20/2020
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
research
∙
06/09/2019
The Packed Interval Covering Problem is NP-complete
We introduce a new decision problem, called Packed Interval Covering (PI...
research
∙
05/29/2019
Reachability Games in Dynamic Epistemic Logic
We define reachability games based on Dynamic Epistemic Logic (DEL), whe...
research
∙
02/16/2012