How adaptive and reliable is your program?
type: Item
instance of: scholarly article
title: How adaptive and reliable is your program?
zbMATH Open document ID: 1489.68139
DOI: 10.1007/978-3-030-78089-0_4
author: Valentina Castiglioni
author: Michele Loreti
author: Simone Tini
publication date: 2022-03-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 7493472
Wikidata QID: Q124438955
describes a project that uses: Wasserstein GAN
describes a project that uses: Bio-PEPA
MaRDI profile type: Publication
full work available at URL: 978-3-030-78089-0 4
OpenAlex ID: W3168806575
cites work: Approximate Abstractions of Stochastic Hybrid Systems
cites work: Approximate model checking of stochastic hybrid systems
cites work: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
cites work: Stochastic hybrid systems. Theory and safety critical applications.
cites work: CONCUR 2005 – Concurrency Theory
cites work: Stochastic Hybrid Systems
cites work: The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
cites work: Measuring masking fault-tolerance
cites work: Simulation distances
cites work: Generalized Bisimulation Metrics
cites work: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
cites work: Metrics for labelled Markov processes
cites work: Quantifying conformance using the Skorokhod metric
cites work: Risk excess measures induced by hemi-metrics
cites work: Compositional bisimulation metric reasoning with Probabilistic Process Calculi
cites work: A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
cites work: Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Q4953390
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
cites work: Q5305630
cites work: The Methods of Distances in the Theory of Probability and Statistics
cites work: On the empirical estimation of integral probability metrics
cites work: Q5180666
cites work: Optimal Transport
description: scientific article; zbMATH DE number 7493472