Understanding Safety Constraints Coalgebraically. - Grygoriy Zholtkevych; Maksym Labzhaniia (COLINS, 2020)

Understanding Clock Constraints Coalgebraically. - Grygoriy Zholtkevych; Maksym Labzhaniia (ICTERI Workshops, 2020)

Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases. - Grygoriy Zholtkevych; Maksym Labzhaniia (ICTERI (Revised Selected Papers), 2020)

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. - Maksym Labzhaniia; Julien Deantoni; Marie-Agnès Peraldi-Frati; Frédéric Mallet (MoDELS (Companion), 2024)