An automata-theoretic approach to branching-time model checking
From MaRDI portal
Publication:5385339
Recommendations
Cited in
(only showing first 100 items - show all)- From model checking to equilibrium checking: reactive modules for rational verification
- Cooperative concurrent games
- scientific article; zbMATH DE number 7649926 (Why is no real title available?)
- On modal -calculus with explicit interpolants
- scientific article; zbMATH DE number 3972842 (Why is no real title available?)
- Weighted automata on infinite words in the context of attacker-defender games
- Specification and Verification of Multi-Agent Systems
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
- Logic programming approach to automata-based decision procedures
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Reasoning About Substructures and Games
- On the comparison of discounted-sum automata with multiple discount factors
- Alternating nonzero automata
- Reasoning About Regular Properties: A Comparative Study
- On temporal logic versus Datalog
- Easy Yet Hard: Model Checking Strategies of Agents
- Equivalence of probabilistic \(\mu\)-calculus and p-automata
- Fuzzy alternating automata over distributive lattices
- On feasible cases of checking multi-agent systems behavior.
- Efficient CTL verification via Horn constraints solving
- Reasoning about strategies: on the model-checking problem
- Pushdown module checking
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Polynomial identification of \(\omega \)-automata
- Automata-theoretic techniques for modal logics of programs
- Extending co-logic programs for branching-time model checking
- scientific article; zbMATH DE number 1796122 (Why is no real title available?)
- TYPENESS FOR ω-REGULAR AUTOMATA
- On the expressivity and complexity of quantitative branching-time temporal logics
- Graded modalities in strategy logic
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Multi-Valued Reasoning about Reactive Systems
- A model of finite automata on timed omega-trees
- Complete axiomatization and decidability of alternating-time temporal logic
- On robot games of degree two
- scientific article; zbMATH DE number 1405651 (Why is no real title available?)
- Distributed automata in an assumption-commitment framework
- Branching-time model-checking of probabilistic pushdown automata
- Modalities for model checking: Branching time logic strikes back
- Hierarchical cost-parity games
- Model Checking Quantitative Linear Time Logic
- Automata, Logic and Games for the $$\lambda $$ -Calculus
- An Operational Guide to Monitorability
- Improving parity games in practice
- Visibly linear temporal logic
- Run-Time Monitoring of Electronic Contracts
- ATL* Satisfiability Is 2EXPTIME-Complete
- Uniform strategies, rational relations and jumping automata
- The regular viewpoint on PA-processes
- Alternating automata: unifying truth and validity checking for temporal logics
- Model checking \(\omega \)-regular properties with decoupled search
- scientific article; zbMATH DE number 177521 (Why is no real title available?)
- Automata theory and model checking
- Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)
- On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking
- Relating word and tree automata
- Model Checking Information Flow in Reactive Systems
- Size-change termination and satisfiability for linear-time temporal logics
- Symbolic model checking for -calculus requires exponential time
- Model-checking graded computation-tree logic with finite path semantics
- On the universal and existential fragments of the \(\mu\)-calculus
- Enriched μ–Calculus Pushdown Module Checking
- Using assumptions to distribute CTL model checking
- Language-emptiness checking of alternating tree automata using symbolic reachability analysis
- Efficient timed model checking for discrete-time systems
- Multi-valued model checking games
- Improved model checking of hierarchical systems
- CTL^ with graded path modalities
- scientific article; zbMATH DE number 4056983 (Why is no real title available?)
- Quantifying Bounds in Strategy Logic
- On the Complexity of Branching-Time Logics
- Reasoning about sequences of memory states
- Conditions of contracts for separating responsibilities in heterogeneous systems
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
- Formal Modeling and Analysis of Timed Systems
- Lattice Automata
- Complexity of weak acceptance conditions in tree automata.
- Module checking
- Specification and verification of data-driven Web applications
- Alternating-time temporal logics with linear past
- Model checking abilities of agents: a closer look
- How to translate efficiently extensions of temporal logics into alternating automata
- Results on alternating-time temporal logics with linear past
- PSPACE-completeness of modular supervisory control problems
- On decidability and complexity of low-dimensional robot games
- Weighted automata on infinite words in the context of attacker-defender games
- Synthesis of succinct systems
- Model measuring for discrete and hybrid systems
- Complexity of synthesis of composite service with correctness guarantee
- An automata-theoretic approach to infinite-state systems
- \textit{Once} and \textit{for all}
- Knowledge base exchange: the case of OWL 2 QL
- Temporal property verification as a program analysis task
- Coverage metrics for temporal logic model checking
- The Complexity of CTL* + Linear Past
- The descriptive complexity of modal \(\mu\) model-checking games
- Explaining counterexamples using causality
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Temporal logic and fair discrete systems
This page was built for publication: An automata-theoretic approach to branching-time model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385339)
