Skip Nav Destination
Cyber-Physical Systems Series
Formal Methods for Multi-Agent Feedback Control SystemsUnavailable
By
Lars Lindemann,
Lars Lindemann
Lars Lindemann is Assistant Professor in the Thomas Lord Department of Computer Science within the School of Advanced Computing at the University of Southern California.
Search for other works by this author on:
Dimos V. Dimarogonas
Dimos V. Dimarogonas
Dimos V. Dimarogonas is Professor of Automatic Control and Head of Division at the Division of Decision and Control Systems within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262382793
Publication date:
2025
Book Part
IV: Planning under Spatiotemporal Logic Specifications Unavailable
-
Published:2025
Citation
2025. "Planning under Spatiotemporal Logic Specifications", Formal Methods for Multi-Agent Feedback Control Systems, Lars Lindemann, Dimos V. Dimarogonas
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.