scientific article; zbMATH DE number 7318980

zbMath1457.68159arXiv1107.1204MaRDI QIDQ4965815

Josée Desharnais, Joseph Assouramou

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1107.1204

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linearizationapproximationlinear processesmodel checkingprobabilistic hybrid systemsrectangular processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Model checking for probabilistic timed automata

This page was built for publication: