Stochastic temporal logic abstractions: challenges and opportunities

DOI10.1007/978-3-030-00151-3_1OpenAlexW2888279058MaRDI QIDQ1631212

Paul Bogdan, Jyotirmoy V. Deshmukh, Panagiotis Kyriakis

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_1

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Stochastic temporal logic abstractions: challenges and opportunities