Rong Gu
Title
Cited by
Cited by
Year
Formal verification of an autonomous wheel loader by model checking
R Gu, R Marinescu, C Seceleanu, K Lundqvist
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
182018
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
92019
TAMAA: UPPAAL-based mission planning for autonomous agents
R Gu, E Enoiu, C Seceleanu
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1624-1633, 2020
82020
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents
R Gu, E Enoiu, C Seceleanu, K Lundqvist
International Conference on Formal Methods for Industrial Critical Systems …, 2020
22020
Combining model checking and reinforcement learning for scalable mission planning of autonomous agents
R Gu, EP Enoiu, C Seceleanu, K Lundqvist
Mälardalen Real-Time Research Centre, Mälardalen University.[Online …, 2020
22020
Formal verification of collision avoidance for nonlinear autonomous vehicle models
R Gu, C Seceleanu, EP Enoiu, K Lundqvist
Technical report, Mälardalen University, 2021
12021
Probabilistic mission planning and analysis for multi-agent systems
R Gu, E Enoiu, C Seceleanu, K Lundqvist
International Symposium on Leveraging Applications of Formal Methods, 350-367, 2020
12020
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
R Gu, C Seceleanu, E Enoiu, K Lundqvist
International Symposium on Formal Methods, 676-694, 2021
2021
Controller Synthesis and Verification for Multi-Agent Systems
R Gu
The system can't perform the operation now. Try again later.
Articles 1–9