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
∙
06/29/2023
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Generative AI and large language models hold great promise in enhancing ...
research
∙
07/03/2020
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
We present a new algorithm to solve the supervisory control problem over...
research
∙
06/09/2020
On Decidability of Time-bounded Reachability in CTMDPs
We consider the time-bounded reachability problem for continuous-time Ma...
research
∙
02/04/2019
