Login / Signup
Anthony Spriet
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Markov Decision Process
Bounded Memory
Partial Observability
Petri Net
Top Venues
FORMATS
</>
Publications
</>
Anthony Spriet
,
Didier Lime
,
Olivier H. Roux
Timed Non-interference Under Partial Observability and Bounded Memory.
FORMATS
(2023)