Viktória Vozárová

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Transition Systems

Safety Analysis

Top Venues

Publications

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktória Vozárová
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) (2022)
Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová
Model-Based Safety Analysis of Mode Transitions. SAFECOMP (2020)