Now showing 1 - 1 of 1
  • Publication
    Formal Specification for Learning-Enabled Autonomous Systems
    ( 2022)
    Bensalem, Saddek
    ;
    ;
    Huang, Xiaowei
    ;
    Katsaros, Panagiotis
    ;
    Molin, Adam
    ;
    Nickovic, Dejan
    ;
    Peled, Doron
    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.