Work

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

Year: 2025

Type: conference-paper

Source: International Conference on Unmanned Aircraft Systems (ICUAS)

DOI: 10.1109/icuas65942.2025.11007815

Authors: Kristy Sakano, Joe Mockler, Alexis Chen, Huan Xu

Institution: University of Maryland, College Park

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4410771012

FWCI: 3.708

Cites: 29

Cited by: 2

Related to: 10