Skip to content
<title>Channels - Model-Checking of Ordered Multi-Pushdown Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Model-Checking of Ordered Multi-Pushdown Automata
Search for more channels:
Similar Items: Model-Checking of Ordered Multi-Pushdown Automata
Channel Options
View Record
Explore related channels
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Module checking of pushdown multi-agent systems
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Edit Distance for Pushdown Automata
Quick Look
Good-for-games $omega$-Pushdown Automata
Quick Look
Beyond Language Equivalence on Visibly Pushdown Automata
Quick Look
Minimization of visibly pushdown automata is NP-complete
Quick Look
On the Expressive Power of 2-Stack Visibly Pushdown Automata
Quick Look
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Quick Look
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Quick Look
Antichains for the Automata-Based Approach to Model-Checking
Quick Look
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Quick Look
Deterministic pushdown automata can compress some normal sequences
Quick Look
On the Expressive Power of Higher-Order Pushdown Systems
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Timed Automata Robustness Analysis via Model Checking
Quick Look
Model Checking Probabilistic Timed Automata with One or Two Clocks
Quick Look
Model Checking Flat Freeze LTL on One-Counter Automata
Quick Look
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Quick Look
The Complexity of Model Checking Higher-Order Fixpoint Logic
Quick Look
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Quick Look
Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking
Quick Look
Multi-Objective Model Checking of Markov Decision Processes
Quick Look
Partially Ordered Automata and Piecewise Testability
Load more items
View Record
Prev
Explore related channels
Next
