default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st QEST+FORMATS 2024, Calgary, AB, Canada
- Jane Hillston
, Sadegh Soudjani, Masaki Waga:
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Lecture Notes in Computer Science 14996, Springer 2024, ISBN 978-3-031-68415-9 - Christel Baier, Calvin Chau, Sascha Klüppelholz:
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes. 1-18 - Marie Duflot, Engel Lefaucheux, Isaline Plaid:
Diagnosis of Stochastic Systems: Optimising Costs and Delays. 19-33 - Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
A Framework for Optimisation Based Stochastic Process Discovery. 34-51 - Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Kretínský:
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. 52-71 - Falko Bause, Andreas Blume, Peter Buchholz, Alexander Puzicha, Alina Timmermann:
Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -. 72-89 - András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario:
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions. 90-106 - Loriane Leclercq, Didier Lime, Olivier H. Roux:
On Parametric DBMs and Their Applications to Time Petri Nets. 107-124 - Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. 125-142 - Paul Kogel, Wolffhardt Schwabe, Sabine Glesner:
MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters. 143-159 - Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana:
An Expressive Timed Modal Mu-Calculus for Timed Automata. 160-178 - Neha Rino, Mohammed Foughali, Eugene Asarin:
Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. 179-195 - Mohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang, Chris Winstead, Hao Zheng:
Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks. 196-212 - Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario:
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. 213-232 - Miroslav Stankovic, Ezio Bartocci:
Probabilistic Loop Synthesis from Sequences of Moments. 233-248 - Ben Wooding, Abolfazl Lavaei:
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems. 249-267 - Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj:
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. 268-283 - Aymeric Côme, Éric Fabre, Loïc Hélouët:
A Floyd-Warshall Approach to Value Computation in Markov Decision Processes. 284-301 - Sheryl Paul, Anand Balakrishnan, Xin Qin, Jyotirmoy V. Deshmukh:
Multi-agent Path Finding for Timed Tasks Using Evolutionary Games. 302-321 - Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi:
What is Your Discount Factor? 322-336
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
