most citedAutomata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2014★ 2 cited

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski

We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the u…