Formal Specification for Learning-Enabled Autonomous Systems

Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan and Peled, Doron (2022) Formal Specification for Learning-Enabled Autonomous Systems. .

Text
Preprint-8564.pdf - Author Accepted Manuscript
Download (483kB) | Preview

Official URL: http://dx.doi.org/10.1007/978-3-031-21222-2_8

Abstract

The formal specification provides a uniquely readable description of various aspects of a system, including its temporal behavior. This facilitates testing and sometimes automatic verification of the system against the given specification. We present a logic-based formalism for specifying learning-enabled autonomous systems, which involve components based on neural networks. The formalism is based on first-order past time temporal logic that uses predicates for denoting events. We have applied the formalism successfully to two complex use cases.

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	24 Mar 2023 11:08
Last Modified:	24 Mar 2023 11:08
DOI:	10.1007/978-3-031-21222-2_8
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3169226