Login / Signup
Model Checking for Logistic Models When the Number of Parameters Tends to Infinity.
Xinmin Li
Feifei Chen
Hua Liang
David Ruppert
Published in:
J. Comput. Graph. Stat. (2023)
Keyphrases
</>
reinforcement learning
model checking
state space
temporal logic
temporal properties
finite state machines
partial order reduction
finite state
reactive systems
verification method
computational complexity
model checker
automated verification
formal methods
reachability analysis