TY  - RPRT
TI  - Convex Language Semantics for Nondeterministic Probabilistic Automata
AU  - Gerco van Heerdt
AU  - Justin Hsu
AU  - Joël Ouaknine
AU  - Alexandra Silva
PY  - 2018
UR  - https://arxiv.org/abs/1805.11550
ID  - 1805.11550
ER  -