Rong Gu
Rong Gu
Dirección de correo verificada de mdh.se - Página principal
Título
Citado por
Citado por
Año
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
82018
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
42020
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
42019
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
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
2020
Controller Synthesis and Verification for Multi-Agent Systems
R Gu
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6