Search Results for author:
Found 2 papers, 1 papers with code
Learning One-Clock Timed Automata
We present an algorithm for active learning of deterministic timed automata with a single clock.
Formal Languages and Automata Theory
NIL: Learning Nonlinear Interpolants
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
