Coupling and Importance Sampling for Statistical Model Checking

Coupling and Importance Sampling for Statistical Model Checking

Bibliographic Details
Main Authors:	Barbot, B, Haddad, S, Picaronny, C
Format:	Conference item
Published:	2012

Similar Items

Importance Sampling for Model Checking of Continuous Time Markov Chains
by: Barbot, B, et al.
Published: (2015)

Échantillonnage préférentiel pour le model checking statistique
by: Barbot, B, et al.
Published: (2011)

Rare Event Handling in Signalling Cascades
by: Barbot, B, et al.
Published: (2014)

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
by: Kong, Pingfan
Published: (2016)

Efficient CTMC Model Checking of Linear Real−Time Objectives
by: Barbot, B, et al.
Published: (2011)

Statistical Approaches for Probabilistic Model Checking
by: Nimal, V
Published: (2010)

Distributed Parametric and Statistical Model Checking
by: Peter Bulychev, et al.
Published: (2011-10-01)

Model Checking for Rare-Event in Control Logical Petri Nets Based on Importance Sampling
by: Xu Tian, et al.
Published: (2020-01-01)

Statistical Model Checking for Stochastic Hybrid Systems
by: Danny Bøgsted Poulsen, et al.
Published: (2012-08-01)

Improved statistical model checking methods for pathway analysis
by: Koh Chuan Hock, et al.
Published: (2012-12-01)

SoS contract verification using statistical model checking
by: Alessandro Mignogna, et al.
Published: (2013-11-01)

Efficient Parallel Statistical Model Checking of Biochemical Networks
by: Paolo Ballarini, et al.
Published: (2009-12-01)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
by: Peter Bulychev, et al.
Published: (2012-07-01)

An important check-up of our planet
Published: (2005-01-01)

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
by: Maurice H. ter Beek, et al.
Published: (2015-04-01)

Method of Check of Statistical Hypotheses for Revealing of “Fraud” Point of Sale
by: T. M. Bolotskaya, et al.
Published: (2011-06-01)

MULTIPLICATIVE NEURAL NETWORK COMBINATION OF HURST AND MUROTA-TAKEUCHI STATISTICAL CRITERIA IN CHECKING THE HYPOTHESIS OF NORMALITY OF SMALL SAMPLES
by: A.I. Ivanov, et al.
Published: (2022-02-01)

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
by: Aaditya Prakash Chouhan, et al.
Published: (2020-08-01)

Quantitative safety analysis of train control system based on statistical model checking
by: Junting Lin, et al.
Published: (2022-03-01)

The importance of drug checking outside the context of nightlife in Slovenia
by: Matej Sande, et al.
Published: (2018-01-01)

Model checking /
by: Clarke, E. M., 1945-, et al.
Published: (1999)

Protecting security of quantum neural network with sampling checks
by: Yulu Zhang, et al.
Published: (2023-06-01)

Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes
by: Fawad Ali Mangi, et al.
Published: (2023-11-01)

Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
by: Angela Pappagallo, et al.
Published: (2020-12-01)

From model checking to equilibrium checking: reactive modules for rational verification
by: Gutierrez, J, et al.
Published: (2017)

Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016)

Statistical Reasoning: Choosing and Checking the Ingredients, Inferences Based on a Measure of Statistical Evidence with Some Applications
by: Luai Al-Labadi, et al.
Published: (2018-04-01)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

Check the Ear. The Importance of Ear Examinations in Assessment of Intracranial Subdural Empyema
by: Joseph Yoon, et al.
Published: (2019-09-01)

A coupling approach to rare event simulation via dynamic importance sampling
by: Zhang, Benjamin Jiahong
Published: (2017)

Improving Polar-Coded SCMA System by Information Coupling and Parity Check
by: Xi Wu, et al.
Published: (2020-11-01)

On the complexity of model checking counter automata
by: Haase, C
Published: (2012)

Statistical Study to Check the Conformity of Aggregate in Kirkuk City to Requirement of Iraqi Specification
by: Ammar Saleem Khazaal, et al.
Published: (2017-01-01)

Statistical Study to Check the Conformity of Aggregate in Kirkuk City to Requirement of Iraqi Specification
by: Ammar S. Khazal, et al.
Published: (2017-06-01)

Assumptions for well-known statistical techniques: Disturbing explanations for why they are seldom checked
by: Rink eHoekstra, et al.
Published: (2012-05-01)

A test for checking earthquake aperiodicity estimates from small samples
by: M. Mucciarelli
Published: (2007-06-01)

Description of Microbiological Food Sample Check in Dr. Soetomo Hospital Surabaya
by: Miftakhul Nikmah
Published: (2018-12-01)

Reality check for the Chinese microblog space: a random sampling approach.
by: King-wa Fu, et al.
Published: (2013-01-01)

Sampling statistics /
by: 290480 Fuller, Wayne A.
Published: (2009)

Sampling and statistics /
by: 248182 Hague, Paul N., et al.
Published: (1993)