A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Document Details

Document Type: Pub Defense Publication
Publication Date: Jan 01, 2021
Source ID: 10.1109/lcsys.2020.3001875

Entities

People

Hai Lin
Vince Kurtz
Yann Gilpin

Organizations

National Science Foundation
United States Army Research Laboratory