City Research Online - Items where Author is "Worrell, J."

Items where Author is "Worrell, J."

Up a level

Group by: Type | No Grouping

Number of items: 2.

Daviaud, L. ORCID: 0000-0002-9220-7118, Jurdzinski, M., Lazic, R. , Mazowiecki, F., Perez, G. A. & Worrell, J. (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

Daviaud, L., Jurdziński, M., Lazić, R. , Mazowiecki, F., Pérez, G. A. & Worrell, J. (2018). When is Containment Decidable for Probabilistic Automata? In: 45th International Colloquium on Automata, Languages, and Programming. 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 9-13 July, Prague, Czech Republic.

This list was generated on Thu Apr 18 06:12:54 2024 UTC.