HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Scott Livingston

Publications
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Scott Livingston and Vasumathi Raman
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Keyphrases

benchmark, formal methods, Linear Temporal Logic, motion planning, reach-avoid, Robotics, synthesis.

Copyright © 2012-2023 easychair.org. All rights reserved.