Pages that link to "Item:Q5466469"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466469):
Displayed 21 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Weighted automata (Q2074206) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Abstraction and approximation in fuzzy temporal logics and models (Q2355383) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)