default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd 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.
last updated on 2025-10-22 02:19 CEST 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:
