Work

Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning

Year: 2024

Type: conference-paper

Source: Proceedings/Proceedings - Real-Time Systems Symposium

DOI: 10.1109/rtss62706.2024.00018

Authors: Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong

Institutions: University of Notre Dame, University of Pennsylvania, University of New Mexico

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4406658445

FWCI: 1.322

Cites: 44

Cited by: 2

Related to: 10