Login / Signup

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis.

Arvind AdimoolamIndranil 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