New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). | 0 | 0.34 | 2022 |
Safe Decomposition of Startup Requirements: Verification and Synthesis. | 0 | 0.34 | 2020 |
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. | 0 | 0.34 | 2017 |