Safety-Critical Learning of Robot Control With Temporal Logic Specifications
Year: 2025
Type: article
Authors: Mingyu Cai, Cristian-Ioan Vasile
Institutions: University of California, Riverside, Lehigh University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G1019556665
OpenAlex ID: W4408358045
