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

Andrea Bisoffi Dimos V. Dimarogonas

Published in: CoRR (2020)

Keyphrases

linear temporal logic
bounded model checking
model checking
temporal logic
transition systems
formal verification
formal specification
concurrent systems
high level
simulated annealing
reactive systems