qest logo
List of Accepted Papers

The review process accepted the following 23 papers that will appear in the proceedings of QEST 2023:

  • Deductive Controller Synthesis for Probabilistic Hyperproperties.
    Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia and Sarah Sallinger.
  • An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains.
    Giovanni Bacci, Anna Ingolfsdottir, Kim Guldstrand Larsen and Raphaël Reynouard.
  • Max-entropy sampling for deterministic timed automata under linear duration constraints.
    Nicolas Basset and Benoit Barbot.
  • Causal Reversibility Implies Time Reversibility.
    Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi and Claudio Sacerdoti Coen.
  • Matching Distributions under Structural Constraints.
    Aaron Bies, Holger Hermanns, Maximilian Alexander Köhl and Andreas Schmidt.
  • Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders.
    Luca Bortolussi, Francesca Cairoli, Julia Klein and Tatjana Petrov.
  • On the Trade-off Between Efficiency and Precision of Neural Abstraction.
    Alec Edwards, Mirco Giacobbe and Alessandro Abate.
  • Analysis of an epoch commit protocol for distributed processing systems.
    Paul Ezhilchelvan, Isi Mitrani and Jim Webber.
  • Introducing Asynchronicity to Probabilistic Hyperproperties.
    Carolina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci and Borzoo Bonakdarpour.
  • Equilibrium Analysis of Markov Regenerative Processes.
    András Horváth, Marco Paolieri and Enrico Vicario.
  • STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
    Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris Myers, Hao Zheng, Chris Winstead and Zhen Zhang.
  • Probabilistic Counterexample Guidance for Safer Reinforcement Learning.
    Xiaotong Ji and Antonio Filieri.
  • Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets.
    Teresa Joven, Jorge Lázaro and Jorge Júlvez.
  • A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.
    YoungMin Kwon, Eunhee Kim and Gul Agha.
  • Verification of Quantum Systems using Barrier Certificates.
    Marco Lewis, Paolo Zuliani and Sadegh Soudjani.
  • Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions.
    Diletta Olliaro, Andrea Marin, Gianfranco Balbo and Matteo Sereno.
  • Jajapy: a learning library for stochastic models.
    Raphaël Reynouard, Anna Ingolfsdottir and Giovanni Bacci.
  • Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
    Luke Rickard, Thom Badings, Licio Romao and Alessandro Abate.
  • Model Abstraction and Conditional Sampling with Score-Based Diffusion Model.
    Davide Scassola, Francesca Cairoli, Francesco Giacomarra and Luca Bortolussi.
  • Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows.
    Seyed Mohammadhossein Tabatabaee, Anne Bouillard and Jean-Yves Le Boudec.
  • On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy.
    Benny Van Houdt.
  • Symbolic Semantics for Probabilistic Programs.
    Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag and Andrzej Wasowski.
  • Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
    Lisa Willemsen, Anne Remke and Erika Ábrahám.
Jan 2023
Website online
Apr 2023
Deadline extension
Jul 2023
Accepted papers announced
Aug 2023
Program announced