Items where Author is "Lazic, R."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Daviaud, L. 
ORCID: 0000-0002-9220-7118, Jurdzinski, M., Lazic, R. (2021).
When are Emptiness and Containment Decidable for Probabilistic Automata?.
Journal of Computer and System Sciences, 119,
pp. 78-96.
doi: 10.1016/j.jcss.2021.01.006
