Quantitative Evaluation of Systems

Multi-Agent Verification and Control with Probabilistic Model Checking.- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.- Jajapy: a learning library for stochastic models.- Introducing Asynchronicity to Probabilistic Hyperproperties.- A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.- An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains.- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.- Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions.- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy.- Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders.- Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets.- On the Trade-off Between Efficiency and Precision of Neural Abstraction.- Equilibrium Analysis of Markov Regenerative Processes.- Max-entropy sampling for deterministic timed automata under linear duration constraints.- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows.- Matching Distributions under Structural Constraints.- Comparing Two Approaches to Include Stochasticity in Hybrid Automata.- Analysis of an epoch commit protocol for distributed processing systems.- Causal Reversibility Implies Time Reversibility.- Deductive Controller Synthesis for Probabilistic Hyperproperties.- Model Abstraction and Conditional Sampling with Score-Based Diffusion Model.- Probabilistic Counterexample Guidance for Safer Reinforcement Learning.- Symbolic Semantics for Probabilistic Programs.- Verification of Quantum Systems using Barrier Certificates.