Rong Gu
Rong Gu
Mälardalen University
Verifierad e-postadress på mdu.se - Startsida
Citeras av
Citeras av
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
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
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
R Gu, R Marinescu, C Seceleanu, K Lundqvist
NASA Formal Methods Symposium, 186-203, 2019
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
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
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
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
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
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
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
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
R Gu, C Seceleanu, E Enoiu, K Lundqvist
International Symposium on Formal Methods, 676-694, 2021
Formal verification of collision avoidance for nonlinear autonomous vehicle models
R Gu, C Seceleanu, EP Enoiu, K Lundqvist
Technical report, Mälardalen University, 2021
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
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems
R Gu, Z Moezkarimi, M Sirjani
Formal Techniques for Distributed Objects, Components, and Systems: 44th …, 2024
A Model-Based Methodology for Automated Verification of ROS 2 Systems
L Dust, M Ekström, R Gu, S Mubeen, C Seceleanu
Learning in Uppaal for Test Case Generation for Cyber-Physical Systems
R Gu
International Conference on Engineering of Computer-Based Systems, 70-74, 2023
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions
R Gu, E Baranov, A Ameri, EP Enoiu, B Curuklu, C Seceleanu, A Legay, ...
ACM Transactions on Software Engineering and Methodology, 2022
Automatic Model Generation and Scalable Verification for Autonomous Vehicles: Mission Planning and Collision Avoidance
R Gu
Mälardalen University, 2020
Controller Synthesis and Verification for Multi-Agent Systems
R Gu
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–19