6 citations · 11 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 3 cited
Learning One-Clock Timed Automata
Jie An, Mingshuai Chen, Bohua Zhan +2
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin's algorithm and inspired by…
cs.LO2019★ 1 cited
NIL: Learning Nonlinear Interpolants
Mingshuai Chen, Jian Wang, Jie An +3
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The…