Closure certificates
From MaRDI portal
Cites work
- -complete decision procedures for satisfiability over the reals
- An Antichain Algorithm for LTL Realizability
- An automata-theoretic approach to linear temporal logic
- Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
- Bounded Synthesis
- Closure certificates
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Delta-decision procedures for exists-forall problems over the reals
- dReal: an SMT solver for nonlinear theories over the reals
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 527343 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- OmegaThreads
- Satisfiability modulo theories
- SCOTS: a tool for the synthesis of symbolic controllers
- Semidefinite programming relaxations for semialgebraic problems
- Temporal logic verification of stochastic systems using barrier certificates
- Verification and Control of Hybrid Systems
This page was built for publication: Closure certificates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6885127)
