Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Benoît Barbot
Coupling and Importance Sampling for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-The-Fly Confluence Detection for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Interlocking Systems Using Statistical Model Checking
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Adaptive Importance Sampling for Control and Inference
Journal of Statistical Physics
Nonlinear Physics
Mathematical Physics
Statistical
Importance Sampling for Stochastic Simulations.
