Rong Gu

Probabilistic Mission Planning and Analysis for Multi-agent Systems

Rong Gu, Eduard Paul Enoiu, Cristina Cerschi Seceleanu, 2020, ISoLA.

Formal Verification of an Autonomous Wheel Loader by Model Checking

Rong Gu, Kristina Lundqvist, Raluca Marinescu, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

TAMAA: UPPAAL-based mission planning for autonomous agents

Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, 2020, SAC.

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

Eduard Paul Enoiu, D. B. Poulsen, P. G. Jensen, 2022, International Journal on Software Tools for Technology Transfer.

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems

Eduard Paul Enoiu, Rong Gu, 2023, 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents

Rong Gu, Eduard Paul Enoiu, Cristina Cerschi Seceleanu, 2020, FMICS.

Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents

Cristina Seceleanu, Rong Gu, Eduard Paul Enoiu, 2020 .