Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
HyPro: A C++ library for state set representations for hybrid systems reachability analysis 2017
SMT-RAT: An open source C++ toolbox for strategic and parallel SMT solving 2015
Online verification of automated road vehicles using reachability analysis 2014
Flow*: An analyzer for non-linear hybrid systems 2013
SpaceEx: Scalable verification of hybrid systems 2011
Citations
Title Journal Journal Categories Citations Publication Date
Robot Swarms as Hybrid Systems: Modelling and Verification Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2022
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Robot Swarms as Hybrid Systems: Modelling and Verification and was published in 2022. The most recent citation comes from a 2022 study titled Robot Swarms as Hybrid Systems: Modelling and Verification. This article reached its peak citation in 2022, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year