Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
outcomes:publications [2018/07/03 10:43] nour.assy [2018] |
outcomes:publications [2018/07/03 10:44] nour.assy [2018] |
||
---|---|---|---|
Line 13: | Line 13: | ||
* Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. ** [[https://doi.org/10.1007/978-3-319-89366-2_21 |A Hierarchy of Scheduler Classes for Stochastic Automata]]**, //In 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018// | * Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. ** [[https://doi.org/10.1007/978-3-319-89366-2_21 |A Hierarchy of Scheduler Classes for Stochastic Automata]]**, //In 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018// | ||
- | * Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. ** Multi-Cost Bounded Reachability in MDP**, // in TACAS 2018: to appear// | + | * Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. ** [[https://doi.org/10.1007/978-3-319-89963-3_19|Multi-Cost Bounded Reachability in MDP]]**, // In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Thessaloniki, Greece, April 14-20, 2018// |
* Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. ** A Statistical Model Checker for Nondeterminism and Rare Events**, //In TACAS 2018: to appear// | * Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. ** A Statistical Model Checker for Nondeterminism and Rare Events**, //In TACAS 2018: to appear// |