„Model-checking“
Suchergebnisse
1.904 Treffer
-
Streett Automata Model Checking of Higher-Order Recursion Schemes
-
Improved Set-Based Symbolic Algorithms for Parity Games
-
Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)
-
Linear Distances between Markov Chains
-
The Complexity of Counting Models of Linear-time Temporal Logic
-
Simulation of the yield curve – checking a cox-ingersoll-ross modell
-
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
-
Computational Aspects of Logics in Team Semantics (Tutorial)
-
Why Liveness for Timed Automata Is Hard, and What We Can Do About It
-
Visibly Linear Dynamic Logic
-
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
-
My O Is Bigger Than Yours (Invited Talk)
-
Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs
-
Model Checking Flat Freeze LTL on One-Counter Automata
-
Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)
-
Computation Tree Logic for Synchronization Properties
-
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)
-
Unfolding-based Partial Order Reduction
-
Binding Forms in First-Order Logic
-
Relational Semantics of Linear Logic and Higher-order Model Checking