PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP ; day:17 ; month:8 ; year:2024 ; pages:1-43
Formal methods in system design ; (17.8.2024), 1-43
- Creator
-
Agarwal, Chaitanya
Guha, Shibashis
Křetínský, Jan
Pazhamalai, M.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00463-0
- URN
-
urn:nbn:de:101:1-2411272109446.062775735155
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Agarwal, Chaitanya
- Guha, Shibashis
- Křetínský, Jan
- Pazhamalai, M.
- SpringerLink (Online service)
Other Objects (12)
Solving Mean-Payoff Games via Quasi Dominions
Mean-payoff games with ω-regular specifications
Continuous-Time Mean Field Markov Decision Models
Tropical convexity, mean payoff games and nonarchimedean convex programming
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A Potential Reduction Algorithm for Two-Person Zero-Sum Mean Payoff Stochastic Games
Approximation Schemes for Stochastic Mean Payoff Games with Perfect Information and Few Random Positions
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Does private tutoring payoff?
Does private tutoring payoff?
Solving Mean-Payoff Games via Quasi Dominions
Mean-payoff games with ω-regular specifications
Continuous-Time Mean Field Markov Decision Models
Tropical convexity, mean payoff games and nonarchimedean convex programming
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A Potential Reduction Algorithm for Two-Person Zero-Sum Mean Payoff Stochastic Games
Approximation Schemes for Stochastic Mean Payoff Games with Perfect Information and Few Random Positions
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Does private tutoring payoff?
Does private tutoring payoff?
Solving Mean-Payoff Games via Quasi Dominions
Mean-payoff games with ω-regular specifications
Continuous-Time Mean Field Markov Decision Models
Tropical convexity, mean payoff games and nonarchimedean convex programming
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A Potential Reduction Algorithm for Two-Person Zero-Sum Mean Payoff Stochastic Games
Approximation Schemes for Stochastic Mean Payoff Games with Perfect Information and Few Random Positions
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Continuous-Time Mean Field Games with Finite State Space and Common Noise
Does private tutoring payoff?