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...
research
∙
07/27/2021