We present a framework for including humanreadable specifications in the design of black-box autonomous systems, or systems whose construct are prohibitively complex to analyze or intuit. By integrating parametric Signal Temporal Logic (pSTL), we can systematically evaluate and refine deep reinforcement learning policies to ensure compliance with predefined system specifications. Our approach is tested in a simulated autonomous driving environment, where we train a deep reinforcement learning agent in Mario Kart SNES using Proximal Policy Optimization. The agent is evaluated based on its ability to navigate a structured driving course while satisfying a set of a priori requirements; this evaluation is performed by writing and solving the parameters in a pSTL statement. This work contributes to the broader effort of bridging formal methods and data-driven learning, providing insights for researchers and operators alike in developing AIbased controllers for real-world autonomous systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Framework for Black-Box Controller Design to Automatically Satisfy Specifications Using Signal Temporal Logic


    Beteiligte:
    Sakano, Kristy (Autor:in) / Mockler, Joe (Autor:in) / Chen, Alexis (Autor:in) / Xu, Huan (Autor:in)


    Erscheinungsdatum :

    14.05.2025


    Format / Umfang :

    775655 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Decentralized Route-Planning to Satisfy Global Linear Temporal Logic Specifications on Multiple Aircraft (AIAA 2018-1862)

    Fang, Jie / Zhang, Zetian / Cowlagi, Raghvendra V. | British Library Conference Proceedings | 2018


    A Fast Sampling-based Optimal Route-Planning Algorithm to Satisfy Linear Temporal Logic Specifications (AIAA 2018-1590)

    Zhang, Zetian / Cowlagi, Raghvendra V. | British Library Conference Proceedings | 2018


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-Egziabher, Demoz | TIBKAT | 2022