Proceedings

The final version of the proceedings will be available soon.

Please use the link above to access the paper of intereset.

• Each paper is stored in a separate file with name 1643nnnn given in the Table of Contents below

Table of Contents

• 16430001 A Hyperlogic for Strategies in Stochastic Games,
  Lina Gerlach, Christof Löding, Erika Abraham

• 16430020 Time-Sensitive Importance Splitting,
  Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns

• 16430040 Active Learning of Mealy Machines with Timers,
  Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet, Frits Vaandrager

• 16430060 Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates,
  Oliver Schön, Sofie Haesaert, Sadegh Soudjani

• 16430080 Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality,
  Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

• 16430092 Signal Sampling and Optimisation under Symbolic Timed Automata Constraints,
  Benoit Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito, Dejan Nickovic

• 16430112 Programming and Reasoning in Partially Observable Probabilistic Environments,
  Tobias Gürtler, Benjamin Lucien Kaminski

• 16430131 PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface,
  Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, Verena Wolf

• 16430154 Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server under Piecewise-Linear Arrival Curves,
  Lukas Wildberger, Anja Hamscher, Jens B. Schmitt

• 16430172 Learning Mealy Machines with Sparse Observation Tables,
  Wolffhardt Schwabe, Paul Kogel, Sabine Glesner

• 16430191 What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes,
  Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

• 16430215 A Product-Form Model for Systems with Aging Objects and Similarities,
  Andrea Marin, Diletta Olliaro, Sabina Rossi, Daniel Sadoc Menasche

• 16430233 Tightening the Frontier of Decidability for Decisiveness,
  Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain, Alain Finkel

• 16430251 Fuzzy Fault Trees: The Fast and the Formal,
  Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

• 16430269 Positive Almost-Sure Termination of Polynomial Random Walks,
  Lorenz Winkler, Laura Kovács

• 16430287 Noninterference Analysis of Deterministically Timed Reversible Systems,
  Andrea Esposito, Alessandro Aldini, Marco Bernardo

• 16430308 Controller Synthesis for Parametric Timed Games,
  Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Jaco van de Pol, Laure Petrucci

• 16430326 Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions,
  Jun Liu, Maxwell Fitzsimmons

• 16430345 Using Communication to Bound Clock Drift in Local-Timed Negotiations,
  Abhinav Garg, Madhavan Mukund, Adwitee Roy, B Srivathsan, Gautham Viswanathan

• 16430363 Numerical Errors in Quantitative System Analysis With Decision Diagrams,
  Sebastiaan Brand, Arend-Jan Quist, Richard M.K. van Dijk, Alfons Laarman

• 16430381 Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata,
  Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber

• 16430401 Statistical Bayesian Inference for Stochastic Process Discovery,
  Paolo Ballarini, Pierre Cry, Andras Horvath, Pascale Legall

• 16430421 Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks,
  Olivier Bouët-Willaumez, Adrien Le Coënt, Benoit Barbot, Nihal Pekergin

• 16430441 Formal Approximations of the Transient Distributions of the M/G/1 Workload Process,
  Fabian Michel, Markus Siegle

• 16430460 On Choice of Loss Functions for Neural Control Barrier Certificates,
  Alireza Nadali, Ashutosh Trivedi, Majid Zamani

• 16430479 Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments,
  Xavier Allamigeon, Pascal Capetillo, Stéphane Gaubert