Rong Gu
Título
Citado por
Citado por
Ano
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
142018
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
72020
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
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
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
12020
Formal Verification of Collision Avoidance for Nonlinear Autonomous Vehicle Models
R Gu, C Seceleanu, E Enoiu, K Lundqvist
Controller Synthesis and Verification for Multi-Agent Systems
R Gu
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8