


default search action
2nd QEST+FORMATS 2025, Aarhus, Denmark
- Pavithra Prabhakar

, Andrea Vandin
:
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Lecture Notes in Computer Science 16143, Springer 2026, ISBN 978-3-032-05791-4 - Lina Gerlach, Christof Löding, Erika Ábrahám:

A Hyperlogic for Strategies in Stochastic Games. 1-20 - Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns:

Time-Sensitive Importance Splitting. 21-41 - Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:

Active Learning of Mealy Machines with Timers. 42-61 - Oliver Schön, Sofie Haesaert, Sadegh Soudjani:

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates. 62-82 - Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft:

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality. 83-94 - Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito, Dejan Nickovic:

Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints. 95-114 - Tobias Gürtler, Benjamin Lucien Kaminski:

Programming and Reasoning in Partially Observable Probabilistic Environments. 115-133 - Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, Verena Wolf:

PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. 134-156 - Lukas Wildberger, Anja Hamscher, Jens B. Schmitt:

Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server Under Piecewise-Linear Arrival Curves. 157-175 - Wolffhardt Schwabe, Paul Kogel, Sabine Glesner:

Learning Mealy Machines with Sparse Observation Tables. 176-194 - Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft:

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes. 195-218 - Andrea Marin, Diletta Olliaro, Sabina Rossi, Daniel Sadoc Menasché:

A Product-Form Model for Systems with Aging Objects and Similarities. 219-236 - Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain, Alain Finkel:

Tightening the Frontier of Decidability for Decisiveness. 237-255 - Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:

Fuzzy Fault Trees: the Fast and the Formal. 256-274 - Lorenz Winkler, Laura Kovács:

Positive Almost-Sure Termination of Polynomial Random Walks. 275-292 - Andrea Esposito, Alessandro Aldini, Marco Bernardo:

Noninterference Analysis of Deterministically Timed Reversible Systems. 293-313 - Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol:

Controller Synthesis for Parametric Timed Games. 314-332 - Jun Liu, Maxwell Fitzsimmons:

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions. 333-352 - Abhinav Garg, Madhavan Mukund, Adwitee Roy, B. Srivathsan, Gautham Viswanathan:

Using Communication to Bound Clock Drift in Local-Timed Negotiations. 353-370 - Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman:

Numerical Errors in Quantitative System Analysis With Decision Diagrams. 371-388 - Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber:

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. 389-408 - Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall:

Statistical Bayesian Inference for Stochastic Process Discovery. 409-428 - Olivier Bouët-Willaumez, Adrien Le Coënt, Benoît Barbot, Nihal Pekergin:

Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks. 429-448 - Fabian Michel, Markus Siegle:

Formal Approximations of the Transient Distributions of the M/G/1 Workload Process. 449-467 - Alireza Nadali, Ashutosh Trivedi, Majid Zamani:

On Choice of Loss Functions for Neural Control Barrier Certificates. 468-486 - Xavier Allamigeon, Pascal Capetillo, Stéphane Gaubert:

Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments. 487-505

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














