Login / Signup

Discrete Reachability Analysis With Bounded Error Sets.

Jacob A. SiefertDaniel D. LeisterJustin P. KoelnHerschel C. Pangborn
Published in: IEEE Control. Syst. Lett. (2022)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • timed automata
  • convex sets
  • state space
  • relational databases
  • low cost
  • discrete geometry
  • data mining
  • decision making
  • decision makers
  • continuous domains