Abstract is missing.
- Certificates and Witnesses for Multi-objective Queries in Markov Decision ProcessesChristel Baier, Calvin Chau, Sascha Klüppelholz. 1-18 [doi]
- Diagnosis of Stochastic Systems: Optimising Costs and DelaysMarie Duflot, Engel Lefaucheux, Isaline Plaid. 19-33 [doi]
- A Framework for Optimisation Based Stochastic Process DiscoveryPierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall. 34-51 [doi]
- QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to VerificationFlorian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský. 52-71 [doi]
- Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -Falko Bause, Andreas Blume, Peter Buchholz 0001, Alexander Puzicha, Alina Timmermann. 72-89 [doi]
- Approximation of Cumulative Distribution Functions by Bernstein Phase-Type DistributionsAndrás Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario. 90-106 [doi]
- On Parametric DBMs and Their Applications to Time Petri NetsLoriane Leclercq, Didier Lime, Olivier H. Roux. 107-124 [doi]
- Dissimilarity for Linear Dynamical SystemsGiorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 125-142 [doi]
- MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol FiltersPaul Kogel, Wolffhardt Schwabe, Sabine Glesner. 143-159 [doi]
- An Expressive Timed Modal Mu-Calculus for Timed AutomataRance Cleaveland, Jeroen J. A. Keiren, Peter Fontana. 160-178 [doi]
- Efficiently Computable Distance-Based Robustness for a Practical Fragment of STLNeha Rino, Mohammed Foughali, Eugene Asarin. 179-195 [doi]
- Rare-Event Guided Analysis of Infinite-State Chemical Reaction NetworksMohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang 0006, Chris Winstead, Hao Zheng 0001. 196-212 [doi]
- Transient Evaluation of Non-Markovian Models by Stochastic State Classes and SimulationGabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario. 213-232 [doi]
- Probabilistic Loop Synthesis from Sequences of MomentsMiroslav Stankovic, Ezio Bartocci. 233-248 [doi]
- IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic SystemsBen Wooding, Abolfazl Lavaei. 249-267 [doi]
- Controller Synthesis in Timed Büchi Automata: Robustness and Punctual GuardsBenoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj. 268-283 [doi]
- A Floyd-Warshall Approach to Value Computation in Markov Decision ProcessesAymeric Côme, Éric Fabre, Loïc Hélouët. 284-301 [doi]
- Multi-agent Path Finding for Timed Tasks Using Evolutionary GamesSheryl Paul, Anand Balakrishnan 0001, Xin Qin, Jyotirmoy V. Deshmukh. 302-321 [doi]
- What is Your Discount Factor?Shadi Tasdighi Kalat, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001. 322-336 [doi]