Work

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-35257-7_1

Authors: Vivek Nigam, Carolyn Talcott

Institutions: Universidade Federal da Paraíba, Huawei German Research Center, SRI International

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4382045852

FWCI: 2.076

Cites: 26

Cited by: 5

Related to: 10