Viktória Vozárová

According to our database, Viktória Vozárová authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

2022

Diagnosability of fair transition systems.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová

Artif. Intell., 2022

Searching for Ribbon-Shaped Paths in Fair Transition Systems.

Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

Model-Based Safety Analysis of Mode Transitions.

Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová

Proceedings of the Computer Safety, Reliability, and Security, 2020