Skip to content
<title>Channels - Module checking of pushdown multi-agent systems :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Module checking of pushdown multi-agent systems
Search for more channels:
Similar Items: Module checking of pushdown multi-agent systems
Channel Options
View Record
Explore related channels
Quick Look
Model-Checking of Ordered Multi-Pushdown Automata
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Reachability Analysis of Communicating Pushdown Systems
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
Weighted Pushdown Systems with Indexed Weight Domains
Quick Look
On the Expressive Power of Higher-Order Pushdown Systems
Quick Look
Edit Distance for Pushdown Automata
Quick Look
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
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
Multi-Objective Model Checking of Markov Decision Processes
Quick Look
On the Expressive Power of 2-Stack Visibly Pushdown Automata
Quick Look
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
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
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Quick Look
Deterministic pushdown automata can compress some normal sequences
Quick Look
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Quick Look
Model Checking Synchronized Products of Infinite Transition Systems
Quick Look
Syndrome-Based Multi-Bit Error Correction With Chaotic Secure Check-Sequence Sharing for Quantum Key Distribution Systems
Quick Look
System Neural Diversity: Measuring Behavioral Heterogeneity in Multi-Agent Learning
Load more items
View Record
Prev
Explore related channels
Next
