Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.

Kais Klai Chiheb Ameur Abid Jaime Arias Sami Evangelista

Published in: VECoS (2021)

Keyphrases

model checking
temporal logic
state space
reinforcement learning
finite state
formal verification
search algorithm
concurrent systems