„Model-checking“
Suchergebnisse
1.904 Treffer
-
Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector
-
From Trusted Annotations to Verified Knowledge
-
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis
-
Probabilistic causes in Markov chains
-
Model checking the evolution of gene regulatory networks
-
Model checking the evolution of gene regulatory networks
-
Recent trends in algebraic development techniques – 21st international workshop ; revised selected papers
-
Jackknife empirical likelihood based diagnostic checking for Ar(p) models
-
Evidence for Fixpoint Logic
-
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
-
Consistency-Checking 3D Geological Models
-
Parameter synthesis for Markov models – covering the parameter space
-
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)
-
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy
-
Model Checking of Asbru
-
Model checking for action-based logics
-
Equilibrium Design for Concurrent Games
-
Automated Planning and Model Checking (Dagstuhl Seminar 14482)
-
Model checking CTL is almost always inherently sequential
-
Reducing CMSO Model Checking to Highly Connected Graphs