Metrics and Accepted papers
Metrics
Some numbers related to QEST+FORMATS’25:
- The conference received 64 abstracts, 57 of which were concretized into actual submissions
- Each of these 57 submissions got 3 reviews
- Out of the 57 submissions, 26 have been accepted, for an acceptance rate of 45%.
Accepted papers
- Lina Gerlach, Christof Löding and Erika Abraham, A Hyperlogic for Strategies in Stochastic Games
- Gabriel Dengler, Carlos E. Budde, Laura Carnevali and Arnd Hartmanns, Time-Sensitive Importance Splitting
- Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager, Active Learning of Mealy Machines with Timers
- Oliver Schön, Sofie Haesaert and Sadegh Soudjani, Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates
- Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft, Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
- Benoit Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito and Dejan Nickovic, Signal Sampling and Optimisation under Symbolic Timed Automata Constraints
- Tobias Gürtler and Benjamin Lucien Kaminski, Programming and Reasoning in Partially Observable Probabilistic Environments
- Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller and Verena Wolf, PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
- Lukas Wildberger, Anja Hamscher and Jens B. Schmitt, Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server under Piecewise-Linear Arrival Curves
- Wolffhardt Schwabe, Paul Kogel and Sabine Glesner, Learning Mealy Machines with Sparse Observation Tables
- Patrick Wienhöft, Tobias Meggendorfer and Maximilian Weininger, What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
- Andrea Marin, Diletta Olliaro, Sabina Rossi and Daniel Sadoc Menasche, A product-form model for systems with aging objects and similarities
- Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain and Alain Finkel, Tightening the Frontier of Decidability for Decisiveness
- Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga, Fuzzy Fault Trees: the Fast and the Formal
- Lorenz Winkler and Laura Kovács, Positive Almost-Sure Termination of Polynomial Random Walks
- Andrea Esposito, Alessandro Aldini and Marco Bernardo, Noninterference Analysis of Deterministically Timed Reversible Systems
- Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Jaco van de Pol and Laure Petrucci, Controller Synthesis for Parametric Timed Games
- Jun Liu and Maxwell Fitzsimmons, Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
- Abhinav Garg, Madhavan Mukund, Adwitee Roy, B Srivathsan and Gautham Viswanathan, Using communication to bound clock drift in local-timed negotiations
- Sebastiaan Brand, Arend-Jan Quist, Richard M.K. van Dijk and Alfons Laarman, Numerical Errors in Quantitative System Analysis With Decision Diagrams
- Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke and Paula Herber, Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
- Paolo Ballarini, Pierre Cry, Andras Horvath and Pascale Legall, Statistical Bayesian Inference for Stochastic Process Discovery
- Olivier Bouët-Willaumez, Adrien Le Coënt, Benoit Barbot and Nihal Pekergin, Conservation analysis and discrete probabilistic approximations for parameter estimation of biochemical networks
- Fabian Michel and Markus Siegle, Formal Approximations of the Transient Distributions of the M/G/1 Workload Process
- Alireza Nadali, Ashutosh Trivedi and Majid Zamani, On Choice of Loss Functions for Neural Control Barrier Certificates
- Xavier Allamigeon, Pascal Capetillo and Stéphane Gaubert, Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments