10 citations · 32 across the 26 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Yuhao Zhou, Stavros Tripakis
The integration of neural networks into safety-critical systems has shown great potential in recent years. However, the challenge of effectively verifying the safety of Neural Netw…
cs.LO2023
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms
Derek Egolf, Stavros Tripakis
Synthesis of distributed protocols is a hard, often undecidable, problem. Completion techniques provide partial remedy by turning the problem into a search problem. However, the sp…
eess.SY2023
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…