2 papers
cs.LO2026
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +5
It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…
cs.LO2025
Early Validation of High-level Requirements on Cyber-Physical Systems
Ondřej Vašíček
The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification.…