Formal Methods for Autonomous Systems

Download PDF
Open Webpage

Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu

Published: 01 Jan 2023, Last Modified: 14 May 2025Found. Trends Syst. Control. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Publishers of Foundations and Trends, making research accessible