Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion.

Suguman Bansal Moshe Y. Vardi

Published in: CAV (1) (2019)

Keyphrases

cellular automata
database
real time
multiscale
markov decision processes
weighted sum
traffic accidents
safety critical