[go: up one dir, main page]

Topic

Algorithmic game theory (1) Behavioral synthesis (1) Computational complexity (1) Optimal control (1) Software model checking (1) Verification (1)

Journal

Foundations and Trends® in Systems and Control (1)

Year

2023 (1)

Article Type

review article (1)

Platform

Your search returned 1 results
review article

Formal Methods for Autonomous Systems

 Tichakorn Wongpiromsarn | Mahsa Ghasemi | Murat Cubuktepe | Georgios Bakirtzis | Steven Carr | Mustafa O. Karabag | Cyrus Neary | Parham Gohari | Ufuk Topcu
Journal: Foundations and Trends® in Systems and Control, Volume 10, Issue 3-4