research
∙
07/25/2023
Solving Odd-Fair Parity Games
This paper discusses the problem of efficiently solving parity games whe...
research
∙
03/22/2020
Kontrol Edilebilir ptSTL Formulu Sentezi – Synthesis of Controllable ptSTL Formulas
In this work, we develop an approach to anomaly detection and prevention...
research
∙
04/07/2019