@inproceedings{2f0f20de5c394b80905524ae7759f478,
title = "Formal Specification for Learning-Enabled Autonomous Systems",
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.",
keywords = "First-order LTL, Formal specification, Learning-enabled systems, Neural networks",
author = "Saddek Bensalem and Cheng, {Chih Hong} and Xiaowei Huang and Panagiotis Katsaros and Adam Molin and Dejan Nickovic and Doron Peled",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022 and 15th International Workshop on Numerical Software Verification, NSV 2022 ; Conference date: 11-08-2022 Through 11-08-2022",
year = "2022",
doi = "10.1007/978-3-031-21222-2_8",
language = "الإنجليزيّة",
isbn = "9783031212215",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "131--143",
editor = "Omri Isac and Guy Katz and Radoslav Ivanov and Nina Narodytska and Laura Nenzi",
booktitle = "Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings",
address = "ألمانيا",
}