Concepedia

Rong Gu

RG

5

Publications

84

Citations

5

H-Index

2018

Active since

Affiliations

Mälardalen University(Current)

Aalborg University

Rong Gu is an author at Mälardalen University specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringRoboticsAutomationVerificationFormal MethodsFormal VerificationIntelligent SystemsAutomation Engineering

Publications per year

2018–2024

5

Publications

5

Formal Methods in Industry

Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 26 citations · Full text

Engineering, Industrial Engineering, Verification +23

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen et al. · International Journal on Software Tools for Technology Transfer · 2022 · 17 citations · Full text

Formal verification of an autonomous wheel loader by model checking

Rong Gu, Raluca Marinescu, Cristina Seceleanu et al. · 2018 · 16 citations

Engineering, Verification, Computer-aided Verification +24

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems

Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu et al. · Science of Computer Programming · 2022 · 14 citations · Full text

Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu · 2020 · 11 citations

Construction Machines, Path Planning, Engineering +12

Rows per page

1–5 of 5