Safety verification of continuous-space pure jump Markov processes

DOI10.1007/978-3-662-49674-9_9zbMath1420.68125OpenAlexW2472134807MaRDI QIDQ2272916

Alessandro Abate, Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani

Publication date: 17 September 2019

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:9e7778d1-49b2-4467-8b5e-08d66c7f7278

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

When are stochastic transition systems tameable?

This page was built for publication: Safety verification of continuous-space pure jump Markov processes