( en | de | ru )

 

Disambiguierung von "Hartmanns, Arnd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Backwards Reachability for Probabilistic Timed Automata: A Replication Report.

, und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Symblicit exploration and elimination for probabilistic model checking., und . SAC, Seite 1798-1806. ACM, (2021)The Modest State of Learning, Sampling, and Verifying Strategies., und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 406-432. Springer, (2022)Learning optimal decisions for stochastic hybrid systems., , und . MEMOCODE, Seite 44-55. ACM, (2021)Replicating sc Restart with Prolonged Retrials: An Experimental Report., und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 373-380. Springer, (2021)Flexible support for time and costs in scenario-aware dataflow., , und . EMSOFT, Seite 3:1-3:10. ACM, (2016)A Modest Approach to Modelling and Checking Markov Automata., , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 52-69. Springer, (2019)Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings., , und . HSCC, Seite 10:1-10:11. ACM, (2020)Model-based testing of stochastically timed systems., , und . Innov. Syst. Softw. Eng., 15 (3-4): 207-233 (2019)Tweaking the Odds in Probabilistic Timed Automata., , , und . QEST, Volume 12846 von Lecture Notes in Computer Science, Seite 39-58. Springer, (2021)Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks., , , und . QEST, Volume 13479 von Lecture Notes in Computer Science, Seite 337-355. Springer, (2022)