conftrace_

counterexample-guided synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

trajectory stabilization (1) situation calculus (1) control lyapunov function (1) finite state automaton (1) nonlinear system (1) learning from demonstration (1) formal verification (1) game theory (1)

Papers

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019 Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations RSS 2017