Cited By
View all- Badings TVolk MJunges SStoelinga MJansen N(2024)CTMCs with Imprecisely Timed ObservationsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57249-4_13(258-278)Online publication date: 6-Apr-2024
- Badings TSimão TSuilen MJansen N(2023)Decision-making under uncertainty: beyond probabilitiesInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-023-00704-325:3(375-391)Online publication date: 30-May-2023
- Brorholt AJensen PLarsen KLorber FSchilling C(2023)Shielded Reinforcement Learning for Hybrid SystemsBridging the Gap Between AI and Reality10.1007/978-3-031-46002-9_3(33-54)Online publication date: 23-Oct-2023
- Show More Cited By