( en | de | ru )

 

Disambiguation of "Hartmanns, Arnd"

Author of the publication

copydeleteadd this publication to your clipboard
Fast Verified SCCs for Probabilistic Model Checking.

, , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 181-202. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Die Rolle von Verbänden bei der Förderung nachhaltigen Konsums und Konsequenzen für die Verbraucherpolitik. TU München, (2009)
 

Other publications of authors with the same name

Flexible support for time and costs in scenario-aware dataflow., , and . EMSOFT, page 3:1-3:10. ACM, (2016)Replicating sc Restart with Prolonged Retrials: An Experimental Report., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 373-380. Springer, (2021)The Modest State of Learning, Sampling, and Verifying Strategies., and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 406-432. Springer, (2022)Symblicit exploration and elimination for probabilistic model checking., and . SAC, page 1798-1806. ACM, (2021)Learning optimal decisions for stochastic hybrid systems., , and . MEMOCODE, page 44-55. ACM, (2021)Sampling Distributed Schedulers for Resilient Space Communication., , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 291-310. Springer, (2020)On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report., , , , , , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 216-241. Springer, (2020)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , and 6 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)A Modest Markov Automata Tutorial., and . RW, volume 11810 of Lecture Notes in Computer Science, page 250-276. Springer, (2019)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , and 10 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 55-89. EasyChair, (2021)