Convex Language Semantics for Nondeterministic Probabilistic Automata

van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Aleandra

doi:10.1007/978-3-030-02508-3_25

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Convex Language Semantics for Nondeterministic Probabilistic Automata

MPS-Authors

/persons/resource/persons217847

Ouaknine, Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

1805.11550.pdf
(Preprint), 391KB

Supplementary Material (public)

There is no public supplementary material available

Citation

van Heerdt, G., Hsu, J., Ouaknine, J., & Silva, A. (2018). Convex Language Semantics for Nondeterministic Probabilistic Automata. In B. Fischer, & T. Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (pp. 472-492). Berlin: Springer. doi:10.1007/978-3-030-02508-3_25.

Cite as: https://hdl.handle.net/21.11116/0000-0003-21E5-5

Abstract

There is no abstract available