SpaceEx: Scalable Verification of Hybrid Systems
Université Joseph Fourier · Verimag · +4 more institutions
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
846
total citations
- FWCI
- 66.08
- Percentile
- 100%
- References
- 17
Citations per year
Authors
10- GFGoran FrehseCorresponding
Université Joseph Fourier, Verimag, Centre National de la Recherche Scientifique, Université Grenoble Alpes
- CLColas Le Guernic
New York University
- ADAlexandre Donzé
Université Grenoble Alpes, Verimag, Centre National de la Recherche Scientifique, Université Joseph Fourier
- SCScott Cotton
Université Grenoble Alpes, Centre National de la Recherche Scientifique, Verimag, Université Joseph Fourier
- RLR. L. Ray
Université Joseph Fourier, Verimag, Centre National de la Recherche Scientifique, Université Grenoble Alpes
Topics & keywords
Topics
Keywords
- Reachability
- Computer science
- Scalability
- Polyhedron
- Hybrid system
- Computation
- Algorithm
- Piecewise
No related works found for this paper.