Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 7

Licentiate Thesis (1)

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

Conference/Workshop Paper (4)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020)
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 (1)

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 (1)

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

Items per page: