Login / Signup
Lukas Posch
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Real World
Generative Model
Reactive Systems
Petri Net
Top Venues
CoRR
ATVA
</>
Publications
</>
Stefan Pranger
,
Bettina Könighofer
,
Lukas Posch
,
Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
CoRR
(2021)
Stefan Pranger
,
Bettina Könighofer
,
Lukas Posch
,
Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
ATVA
(2021)