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.
linearizationapproximationlinear processesmodel checkingprobabilistic hybrid systemsrectangular processes
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)
This page was built for publication: