Model Checking Stochastic Branching Processes

Model Checking Stochastic Branching Processes

Detaylı Bibliyografya
Asıl Yazarlar:	Chen, T, Dräger, K, Kiefer, S
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Springer 2012

Benzer Materyaller

Linear-time model checking branching processes
Yazar:: Kiefer, SM, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Directed Model Checking with Distance−Preserving Abstractions
Yazar:: Dräger, K, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Directed model checking with distance−preserving abstractions
Yazar:: Dräger, K, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Advancing verification of process mining models with quantitative model checking in stochastic environment
Yazar:: Mangi Fawad Ali, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes
Yazar:: Fawad Ali Mangi, ve diğerleri
Baskı/Yayın Bilgisi: (2023-11-01)

Approximate Model Checking of Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Approximate Model Checking of Stochastic Hybrid Systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Statistical Model Checking for Stochastic Hybrid Systems
Yazar:: Danny Bøgsted Poulsen, ve diğerleri
Baskı/Yayın Bilgisi: (2012-08-01)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
Yazar:: Brázdil, T, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Limiting Behaviors of Stochastic Spread Models Using Branching Processes
Yazar:: Jyy-I Hong
Baskı/Yayın Bilgisi: (2023-06-01)

A Branching-Process-Based Method to Check Soundness of Workflow Systems
Yazar:: Guanjun Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Branching−Time Model Checking of Parametric One−Counter Automata
Yazar:: Göller, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Branching-time model checking of parametric one-counter automata
Yazar:: Göller, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Stochastic Check-in Employee Scheduling Problem
Yazar:: Ming Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Optimizing ZigBee Security using Stochastic Model Checking
Yazar:: Yüksel, E, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

The issue of checks by Vladivostok branch of State Bank in 1920
Yazar:: A. L. Kiselev
Baskı/Yayın Bilgisi: (2022-09-01)

Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
Yazar:: Kupferschmid, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Model checking and strategy synthesis for stochastic games: from theory to practice
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2016)

Model-Checking Process Equivalences
Yazar:: Martin Lange, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Yazar:: Brim, L, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Yazar:: Yang Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2020-04-01)

Learning Markov Decision Processes for Model Checking
Yazar:: Hua Mao, ve diğerleri
Baskı/Yayın Bilgisi: (2012-12-01)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

OPTIMIZING PROCESS OF CHECK-IN AND SECURITY CHECK AT AIRPORT TERMINALS
Yazar:: Jaromír Široký, ve diğerleri
Baskı/Yayın Bilgisi: (2014-12-01)

Combining Interval Branch and Bound and Stochastic Search
Yazar:: Dhiranuch Bunnag
Baskı/Yayın Bilgisi: (2014-01-01)

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES
Yazar:: Etessami, K, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

The Kolmogorov equation in the stochastic fragmentation theory and branching processes with infinite collection of particle types
Baskı/Yayın Bilgisi: (2006-01-01)

The Kolmogorov equation in the stochastic fragmentation theory and branching processes with infinite collection of particle types
Yazar:: R. Ye. Brodskii, ve diğerleri
Baskı/Yayın Bilgisi: (2006-01-01)

Stochastic and deterministic causes of streamer branching in liquid dielectrics
Yazar:: Jadidian, Jouya, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Branching processes /
Yazar:: 340303 Athreya, K. B., ve diğerleri
Baskı/Yayın Bilgisi: (1972)

Model checking /
Yazar:: Clarke, E. M., 1945-, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Multi-Objective Model Checking of Markov Decision Processes
Yazar:: Kousha Etessami, ve diğerleri
Baskı/Yayın Bilgisi: (2008-11-01)

Stochastic models for processes /
Yazar:: 459401 Bartholomew, David J.
Baskı/Yayın Bilgisi: (1973)

Rational verification: from model checking to equilibrium checking
Yazar:: Wooldridge, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Stochastic modelling of a three-dimensional glycogen granule synthesis and impact of the branching enzyme.
Yazar:: Yvan Rousset, ve diğerleri
Baskı/Yayın Bilgisi: (2023-05-01)

A Seismic Checking Method of Engineering Structures Based on the Stochastic Semi-Physical Model of Seismic Ground Motions
Yazar:: Yanqiong Ding, ve diğerleri
Baskı/Yayın Bilgisi: (2022-04-01)

Process check of annealing process of coiled sheets by indirect measurement
Yazar:: K. Kostúr
Baskı/Yayın Bilgisi: (2017-01-01)

Video Process Mining and Model Matching for Intelligent Development: Conformance Checking
Yazar:: Shuang Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

Quantitative model-checking of controlled discrete-time Markov processes
Yazar:: Tkachev, I, ve diğerleri
Baskı/Yayın Bilgisi: (2016)