research
∙
12/25/2018
Revisiting Timed Logics with Automata Modalities
It is well known that (timed) ω-regular properties such as `p holds at e...
share
research
∙
12/25/2018
On Verifying Timed Hyperproperties
We study the satisfiability and model-checking problems for timed hyperp...
research
∙
03/07/2018
