Abstract is missing.
- Multi-agent Verification and Control with Probabilistic Model CheckingDavid Parker 0001. 1-9 [doi]
- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain DynamicsLuke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate. 10-29 [doi]
- Jajapy: A Learning Library for Stochastic ModelsRaphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci 0001. 30-46 [doi]
- Introducing Asynchronicity to Probabilistic HyperpropertiesLina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. 47-64 [doi]
- A Bounded Model Checking Technique for Discrete-Time Nonlinear SystemsYoungmin Kwon, Eunhee Kim, Gul Agha. 65-81 [doi]
- An MM Algorithm to Estimate Parameters in Continuous-Time Markov ChainsGiovanni Bacci 0001, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard. 82-100 [doi]
- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model CheckerJoshua Jeppson, Matthias Volk 0001, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng 0001, Chris Winstead, Zhen Zhang 0006. 101-109 [doi]
- Skipping and Fetching: Insights on Non-conventional Product-Form SolutionsDiletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno. 110-126 [doi]
- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push StrategyBenny Van Houdt. 127-142 [doi]
- Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational AutoencodersLuca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov. 143-147 [doi]
- Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible NetsTeresa Joven, Jorge Lázaro, Jorge Júlvez. 148-151 [doi]
- On the Trade-Off Between Efficiency and Precision of Neural AbstractionAlec Edwards, Mirco Giacobbe, Alessandro Abate. 152-171 [doi]
- Equilibrium Analysis of Markov Regenerative ProcessesAndrás Horváth, Marco Paolieri, Enrico Vicario. 172-187 [doi]
- Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration ConstraintsBenoît Barbot, Nicolas Basset. 188-204 [doi]
- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic FlowsSeyed Mohammadhossein Tabatabaee, Anne Bouillard, Jean-Yves Le Boudec. 205-220 [doi]
- Matching Distributions Under Structural ConstraintsAaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt 0003. 221-237 [doi]
- Comparing Two Approaches to Include Stochasticity in Hybrid AutomataLisa Willemsen, Anne Remke, Erika Ábrahám. 238-254 [doi]
- Analysis of an Epoch Commit Protocol for Distributed Processing SystemsPaul D. Ezhilchelvan, Isi Mitrani, Jim Webber. 255-269 [doi]
- Causal Reversibility Implies Time ReversibilityMarco Bernardo 0001, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen. 270-287 [doi]
- Deductive Controller Synthesis for Probabilistic HyperpropertiesRoman Andriushchenko, Ezio Bartocci, Milan Ceska 0002, Francesco Pontiggia, Sarah Sallinger. 288-306 [doi]
- Model Abstraction and Conditional Sampling with Score-Based Diffusion ModelsLuca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola. 307-310 [doi]
- Probabilistic Counterexample Guidance for Safer Reinforcement LearningXiaotong Ji, Antonio Filieri. 311-328 [doi]
- Symbolic Semantics for Probabilistic ProgramsErik Voogd, Einar Broch Johnsen, Alexandra Silva 0001, Zachary J. Susag, Andrzej Wasowski. 329-345 [doi]
- Verification of Quantum Systems Using Barrier CertificatesMarco Lewis, Paolo Zuliani, Sadegh Soudjani. 346-362 [doi]