Cited By
View all- Kantaros YKalluraya SJin QPappas G(2022)Perception-Based Temporal Logic Planning in Uncertain Semantic MapsIEEE Transactions on Robotics10.1109/TRO.2022.314407338:4(2536-2556)Online publication date: Aug-2022
- Berducci LGrosu R(2022)Safe Policy Improvement in Constrained Markov Decision ProcessesLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_21(360-381)Online publication date: 17-Oct-2022