|
[DJK+21]
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna and Ashutosh Trivedi.
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
In Proc. IEEE Real-Time Systems Symposium (RTSS'21).
2021.
[Presents reinforcement learning techniques that include an environment modelled using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|