Članki z zahtevami za javni dostop - Christian DehnertVeč o tem
Na voljo nekje: 9
The probabilistic model checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
International Journal on Software Tools for Technology Transfer, 1-22, 2022
Zahteve: US National Science Foundation, US Department of Defense, German Research …
Safety-constrained reinforcement learning for MDPs
S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen
International conference on tools and algorithms for the construction and …, 2016
Zahteve: US National Science Foundation, German Research Foundation
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Zahteve: Chinese Academy of Sciences, National Natural Science Foundation of China …
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
Zahteve: National Natural Science Foundation of China, German Research Foundation …
Parameter synthesis in Markov models
S Junges
Dissertation, RWTH Aachen University, 2020, 2020
Zahteve: German Research Foundation, European Commission
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
C Baier, C Hensel, L Hutschenreiter, S Junges, JP Katoen, J Klein
Information and Computation 272, 104504, 2020
Zahteve: German Research Foundation
Fast debugging of PRISM models
C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen
Automated Technology for Verification and Analysis: 12th International …, 2014
Zahteve: German Research Foundation
Counterexample-driven synthesis for probabilistic program sketches
M Češka, C Hensel, S Junges, JP Katoen
International symposium on formal methods, 101-120, 2019
Zahteve: German Research Foundation, European Commission
Model Repair Revamped: —On the Automated Synthesis of Markov Chains—
M Češka, C Dehnert, N Jansen, S Junges, JP Katoen
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019
Zahteve: German Research Foundation, European Commission
Podatke o objavi in financiranju samodejno določi računalniški program