CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Program
Registration
CONFEST 2026
Express/SOS
A Formal Comparison of Controllability Definitions for Deterministic and Nondeterministic Automata
Jeroen Keiren, Michel Reniers
in
Room B
in session
Express/SOS Workshop Session 2
(on,
Sat, 15:00
, 4 talks over 100 min)
Other talks in Express/SOS Workshop Session 2:
The Theory of Sequential Value Passing
Deadlock-Free Parallel Regions for Projected Workflows
Discounted-Sum Automata - Reductions between the Universality Problems
Program
EXPRESS/SOS Program