Cited By
View all- Eisentraut JKelmendi EKřetínský JWeininger M(2022)Value iteration for simple stochastic gamesInformation and Computation10.1016/j.ic.2022.104886285:PBOnline publication date: 1-May-2022
- Hildmann HEledlebi KSaffre FIsakovic A(2021)The Swarm Is More Than the Sum of Its DronesDevelopment and Future of Internet of Drones (IoD): Insights, Trends and Road Ahead10.1007/978-3-030-63339-4_1(1-55)Online publication date: 16-Feb-2021
- Ashok PKřetínský JWeininger M(2019)PAC Statistical Model Checking for Markov Decision Processes and Stochastic GamesComputer Aided Verification10.1007/978-3-030-25540-4_29(497-519)Online publication date: 12-Jul-2019
- Show More Cited By