Publications

Doctoral Thesis (1)

Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022)
Rong Gu

Licentiate Thesis (1)

Automatic Model Generation and Scalable Verification for Autonomous Vehicles (Jun 2020)
Rong Gu

Journal article (2)

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022)
Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
International Journal on Software Tools for Technology Transfer (STTT)

Conference/Workshop Paper (10)

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

Pattern-Based Verification of ROS 2 Nodes using UPPAAL (Sep 2023)
Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
FMICS 2023 - International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023)

Experimental Evaluation of Callback Behavior in ROS 2 Executors (Sep 2023)
Lukas Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems (Apr 2023)
Rong Gu, Eduard Paul Enoiu
19th Workshop on Advances in Model Based Testing (A-MOST 2023)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Formal Methods 2021 (FM'21)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020) -- Best Paper Award--
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

TAMAA: UPPAAL-based Mission Planning for Autonomous Agents (Apr 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu
The 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020)

Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
11th Annual NASA Formal Methods Symposium (NFM 2019)

Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2018)

Report - MRTC (5)

Strategy Synthesis and Compression for Multi-Agent Autonomous Systems: A Correctness-Guaranteed Approach (Apr 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist

Mission Planning for Multiple Autonomous Agents under Complex Road Conditions: Model-Checking-Based Synthesis and Verification (Apr 2022)
Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist

Formal Verification of Collision Avoidance for Nonlinear Autonomous Vehicle Models (Apr 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist

Controller Synthesis and Verification for Multi-Agent Systems (Jul 2020)
Rong Gu

Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents (May 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist

Other (2)

DPAC Newsletter Spring 2021 (Jun 2021)
Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott

DPAC Newsletter Spring 2020 (May 2020)
Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén