Follow
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. (arXiv:2104.11803v1 [eess.SY]) http://arxiv.org/abs/2104.11803
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. (arXiv:2104.11803v1 [eess.SY]) http://arxiv.org/abs/2104.11803