Följ
Rong Gu
Rong Gu
Mälardalen University
Verifierad e-postadress på mdu.se - Startsida
Titel
Citeras av
Citeras av
År
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
272018
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
262020
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
232019
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist
International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022
142022
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems
R Gu, PG Jensen, C Seceleanu, E Enoiu, K Lundqvist
Science of Computer Programming 224, 102894, 2022
112022
Formal methods in industry
MH ter Beek, R Chapman, R Cleaveland, H Garavel, R Gu, I ter Horst, ...
Formal Aspects of Computing, 2024
92024
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
82020
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
L Dust, R Gu, C Seceleanu, M Ekström, S Mubeen
International Conference on Formal Methods for Industrial Critical Systems …, 2023
72023
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
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
62020
Experimental Evaluation of Callback Behavior in ROS 2 Executors
LJ Dust, E Persson, M Ekström, S Mubeen, C Seceleanu, R Gu
2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023
52023
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal  Stratego
M Naeem, R Gu, C Seceleanu, K Guldstrand Larsen, B Nielsen, M Albano
International Symposium on Theoretical Aspects of Software Engineering, 356-373, 2024
32024
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
R Gu, C Seceleanu, E Enoiu, K Lundqvist
International Symposium on Formal Methods, 676-694, 2021
32021
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
R Gu, K Tan, AH Høeg-Petersen, L Feng, KG Larsen
International Symposium on Leveraging Applications of Formal Methods, 385-404, 2024
22024
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions
R Gu, E Baranov, A Ameri, C Seceleanu, EP Enoiu, B Cürüklü, A Legay, ...
ACM Transactions on Software Engineering and Methodology 33 (7), 1-46, 2024
22024
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
R Gu, E Enoiu
2023 IEEE International Conference on Software Testing, Verification and …, 2023
22023
Formal verification of collision avoidance for nonlinear autonomous vehicle models
R Gu, C Seceleanu, EP Enoiu, K Lundqvist
Technical report, Mälardalen University, 2021
22021
Experiences in Building a Digital Twin Framework: Challenges and Possible Solutions
R Gu, T Barbuceanu, N Xiong, T Seceleanu
2024 IEEE 48th Annual Computers, Software, and Applications Conference …, 2024
12024
Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
R Gu
arXiv preprint arXiv:2411.14375, 2024
2024
A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems
R Gu, T Seceleanu, N Xiong, M Naeem
2024 IEEE International Conference on Software Services Engineering (SSE), 66-73, 2024
2024
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20