Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by K. Seppi
Guided Model Checking With a Bayesian Meta-Heuristic
Related publications
Bayesian Model Checking: A Comparison of Tests
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
A Guide to Bayesian Model Checking for Ecologists
A Bayesian Approach to Model Checking Biological Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proposing a New Mathematical Model and a Meta-Heuristic Algorithm for Scheduling and Allocating Automated Guided Vehicle
International Journal of Mathematics in Operational Research
Modeling
Decision Sciences
Simulation
An Improved Distance Heuristic Function for Directed Software Model Checking
Meta Heuristic Approach for Automatic Forecasting Model Selection
International Journal of Information Systems and Supply Chain Management
Information Systems
Management Information Systems
A Bayesian Semiparametric Model for Random-Effects Meta-Analysis
Journal of the American Statistical Association
Uncertainty
Statistics
Probability
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
