Sign in
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis.
Arvind Adimoolam
Indranil Saha
Published in:
HSCC (2022)
Keyphrases
</>
multi directional
reachability analysis
model checking
markov decision processes
timed automata
coding method
optical coherence tomography
state space
reinforcement learning