Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Title	Journal	Journal Categories	Citations	Publication Date
Formalising a Hazard Warning Communication Protocol with Timed Automata				2017
An Abstract Model for Proving Safety of Autonomous Urban Traffic				2016
Uppaal Stratego				2015
Undecidability Results for Multi-Lane Spatial Logic				2015
No Need Knowing Numerous Neighbours				2015

Title	Journal	Journal Categories	Citations	Publication Date
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems	Journal of Computer Science and Technology	Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software Science: Mathematics: Instruments and machines: Electronic computers. Computer science		2021

Category	Category Repetition
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware	1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software	1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science	1

The category Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems and was published in 2021. The most recent citation comes from a 2021 study titled A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. This article reached its peak citation in 2021, with 1 citations. It has been cited in 1 different journals. Among related journals, the Journal of Computer Science and Technology cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.