Pages that link to "Item:Q3172900"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q3172900):
Displaying 50 items.
- Statistical Model Checking for Cyber-Physical Systems (Q3172901) (← links)
- Max and Sum Semantics for Alternating Weighted Automata (Q3172902) (← links)
- Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections (Q3172903) (← links)
- Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols (Q3172905) (← links)
- Formalization of Finite-State Discrete-Time Markov Chains in HOL (Q3172906) (← links)
- An Alternative Definition for Timed Automata Composition (Q3172908) (← links)
- Model Checking EGF on Basic Parallel Processes (Q3172909) (← links)
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited (Q3172910) (← links)
- Algorithms for Synthesizing Priorities in Component-Based Systems (Q3172911) (← links)
- Antichain-Based QBF Solving (Q3172913) (← links)
- A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems (Q3172915) (← links)
- Formal Analysis of Online Algorithms (Q3172916) (← links)
- Modal Transition Systems: Composition and LTL Model Checking (Q3172917) (← links)
- Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata (Q3172918) (← links)
- Assembling Sessions (Q3172919) (← links)
- Parametric Modal Transition Systems (Q3172920) (← links)
- Policy Iteration within Logico-Numerical Abstract Domains (Q3172921) (← links)
- Small Strategies for Safety Games (Q3172922) (← links)
- Multi-core Nested Depth-First Search (Q3172923) (← links)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (Q3172924) (← links)
- A Lightweight Approach for Loop Summarization (Q3172925) (← links)
- A Succinct Canonical Register Automaton Model (Q3172926) (← links)
- Parallel Nested Depth-First Searches for LTL Model Checking (Q3172928) (← links)
- The Buck Stops Here: Order, Chance, and Coordination in Distributed Control (Q3172930) (← links)
- Symbolic Verification and Test Generation for a Network of Communicating FSMs (Q3172932) (← links)
- Hierarchical Counterexamples for Discrete-Time Markov Chains (Q3172933) (← links)
- Efficient Loop Navigation for Symbolic Execution (Q3172934) (← links)
- An Efficient Algorithm for Learning Event-Recording Automata (Q3172935) (← links)
- Discretizing Affine Hybrid Automata with Uncertainty (Q3172936) (← links)
- What’s Decidable about Weighted Automata? (Q3172937) (← links)
- Widening with Thresholds for Programs with Complex Control Graphs (Q3172939) (← links)
- Linear Hybrid System Falsification through Local Search (Q3172941) (← links)
- Learning-Based Compositional Verification for Synchronous Probabilistic Systems (Q3172942) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification (Q3297587) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Adaptive Online First-Order Monitoring (Q3297590) (← links)
- Multi-head Monitoring of Metric Temporal Logic (Q3297591) (← links)
- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking (Q3297592) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595) (← links)
- Chain-Free String Constraints (Q3297597) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis (Q3297602) (← links)
- Program Repair for Hyperproperties (Q3297603) (← links)
