default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th QEST 2023: Antwerp, Belgium
- Nils Jansen
, Mirco Tribastone:
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14287, Springer 2023, ISBN 978-3-031-43834-9 - David Parker:
Multi-agent Verification and Control with Probabilistic Model Checking. 1-9 - Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. 10-29 - Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci:
Jajapy: A Learning Library for Stochastic Models. 30-46 - Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. 47-64 - YoungMin Kwon, Eunhee Kim, Gul Agha:
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. 65-81 - Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. 82-100 - Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang:
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. 101-109 - Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno:
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. 110-126 - Benny Van Houdt:
On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy. 127-142 - Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. 143-147 - Teresa Joven, Jorge Lázaro, Jorge Júlvez:
Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets. 148-151 - Alec Edwards, Mirco Giacobbe, Alessandro Abate:
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. 152-171 - András Horváth, Marco Paolieri, Enrico Vicario:
Equilibrium Analysis of Markov Regenerative Processes. 172-187 - Benoît Barbot, Nicolas Basset:
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. 188-204 - Seyed Mohammadhossein Tabatabaee, Anne Bouillard, Jean-Yves Le Boudec:
Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows. 205-220 - Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt:
Matching Distributions Under Structural Constraints. 221-237 - Lisa Willemsen, Anne Remke, Erika Ábrahám:
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. 238-254 - Paul D. Ezhilchelvan, Isi Mitrani, Jim Webber:
Analysis of an Epoch Commit Protocol for Distributed Processing Systems. 255-269 - Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen:
Causal Reversibility Implies Time Reversibility. 270-287 - Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger:
Deductive Controller Synthesis for Probabilistic Hyperproperties. 288-306 - Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola:
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. 307-310 - Xiaotong Ji, Antonio Filieri:
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. 311-328 - Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs. 329-345 - Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Verification of Quantum Systems Using Barrier Certificates. 346-362
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-02-07 23:36 CET 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:
