Minimal witnesses for probabilistic timed automata

Skip to content Skip to footer

Research Portal of the TU Dresden

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed

1 - 1 out of 1Page size: 10

Select page size:

Sort by: Start date

Sort by:

Order:

Asc.

Desc.

1 Activities

Minimal Witnesses for Probabilistic Timed Automata
Jantsch, S. (Speaker)
22 Oct 2020
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Export list (max. 500):