Rezultati - Mathias Ruggaard Pedersen
- Mostrando 1 - 2 resultados de 2
Seznam
Mreža
-
1Nalaganje...
A Faster-Than Relation for Semi-Markov Decision Processes od Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Izdano 2020-01-01Polni tekst
Artigo -
2Nalaganje...
Reasoning About Bounds in Weighted Transition Systems od Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Izdano 2018-11-01Polni tekst
Artigo
