Work

Soft Safety Analysis of Interconnected Systems

Year: 2024

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2024.3522762

Authors: Weihao Zhang, Di Zhao, Shu Liang

Institution: Tongji University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Fundamental Research Funds for the Central Universities

Awards: G1714981014, G2575069074, G3443272908

OpenAlex ID: W4405804660

FWCI: 0.602

Cites: 34

Cited by: 3

Related to: 10