research
∙
09/01/2023
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
We investigate the decidability of the 0,∞ fragment of Timed Proposition...
share
research
∙
07/27/2021
Logics Meet 2-Way 1-Clock Alternating Timed Automata
In this paper, we study the extension of 1-clock Alternating Timed Autom...
research
∙
05/20/2021
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL...
research
∙
01/28/2021
Safety Verification of Parameterized Systems under Release-Acquire
We study the safety verification problem for parameterized systems under...
research
∙
05/18/2020
On the Separability Problem of String Constraints
We address the separability problem for straight-line string constraints...
research
∙
03/09/2019
Timed Systems through the Lens of Logic
In this paper, we analyze timed systems with data structures, using a ri...
research
∙
02/06/2018
