A hybrid barrier certificate approach to satisfy linear temporal logic specifications.

Andrea Bisoffi Dimos V. Dimarogonas

Published in: ACC (2018)

Keyphrases

linear temporal logic
bounded model checking
model checking
temporal logic
transition systems
formal specification
formal verification
specification language
model checker
control flow
concurrent systems
learning algorithm
high level
optimal solution
search algorithm
evolutionary algorithm