2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CL2026
MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
Maksym Labzhaniia, Julien Deantoni, Marie-Agn{è}s Peraldi-Frati +1
Scenario-based validation is essential for automated road vehicles but cannot cover the full variability of openworld traffic. We present MakSafe, a formal spatiotemporal framework…
cs.LO2020★ 2 cited
Understanding Safety Constraints Coalgebraically
Grygoriy Zholtkevych, Maksym Labzhaniia
Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifyin…