Active and Sparse Methods in Smoothed Model Checking.

Paul Piho Jane Hillston

Published in: QEST (2021)

Keyphrases

model checking
formal specification
finite state
fuzzy sets
np complete
temporal logic
temporal properties
verification method
reachability analysis