PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP (Q6487329)
From MaRDI portal
scientific article; zbMATH DE number 7628137
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP |
scientific article; zbMATH DE number 7628137 |
Statements
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP (English)
0 references
7 December 2022
0 references
0 references
0 references
