conftrace_

hybrid automata

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural abstraction (1) nonlinear dynamical model (1) pddl+ planning (1) reachability analysis (1) model learning (1) dynamic analysis (1) neural ode (1) model checking (1) safety verification (1) dynamical system (1)

Papers

Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022 Neural Abstractions NeurIPS 2022 CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis IJCAI 2017