Cited By
View all- Dubslaff CKöhl M(2022)Configurable-by-Construction Runtime MonitoringLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_14(220-241)Online publication date: 22-Oct-2022
- Castro PD’Argenio PDemasi RPutruele L(2022)Playing Against Fair Adversaries in Stochastic Games with Total RewardsComputer Aided Verification10.1007/978-3-031-13188-2_3(48-69)Online publication date: 7-Aug-2022
- Baier CFunke FPiribauer JZiemek R(2022)On probability-raising causality in Markov decision processesFoundations of Software Science and Computation Structures10.1007/978-3-030-99253-8_3(40-60)Online publication date: 4-Apr-2022
- Show More Cited By