Login / Signup
Prescribed-Time Reach-Avoid-Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach.
Ratnangshu Das
Pushpak Jagtap
Published in:
IEEE Control. Syst. Lett. (2024)
Keyphrases
</>
automated verification
expert systems
learning systems
management system
real time
knowledge based systems
distributed systems
reactive systems
formal specification
retrieval systems
complex systems
building blocks
moving objects
multiscale
database systems
high level
knowledge base
machine learning