Maksym Labzhaniia

According to our database, Maksym Labzhaniia authored at least 4 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.

Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2020

Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2020

Understanding Clock Constraints Coalgebraically.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the 16th International Conference on ICT in Education, 2020

Understanding Safety Constraints Coalgebraically.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the 4th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2020). Volume I: Main Conference, 2020