Multi-agent verification and control with probabilistic model checking
Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds upon ideas and techniques from a diverse range of fields, from logic, automata and graph theory, to optimisation, numer...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Springer
2023
|