Skip to content <title>Channels - O-Minimal Hybrid Reachability Games :: FRELIP Discovery

Home Search Guides Journals Learning

FRELIP Discovery Search

Open Access Catalog for African Scholarship

Channels
O-Minimal Hybrid Reachability Games

Search for more channels:

Similar Items: O-Minimal Hybrid Reachability Games

View Record
Explore related channels

Quick Look
Reachability Switching Games
Quick Look
On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
Quick Look
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
Quick Look
Stubborn Set Reduction for Two-Player Reachability Games
Quick Look
Reachability under Contextual Locking
Quick Look
Reachability Analysis of Innermost Rewriting
Quick Look
All-Path Reachability Logic
Quick Look
Reachability Analysis of Communicating Pushdown Systems
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
Vector Addition System Reversible Reachability Problem
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Bounded Reachability Problems are Decidable in FIFO Machines
Quick Look
On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Quick Look
Reachability for infinite time Turing machines with long tapes
Quick Look
The Complexity of Reachability in Affine Vector Addition Systems with States
Quick Look
Verification of Correlated Equilibria in Concurrent Reachability Games
Quick Look
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Quick Look
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
Quick Look
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Quick Look
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
Quick Look
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Quick Look
Simulating reachability using first-order logic with applications to verification of linked data structures
Quick Look
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
Quick Look
Automata Minimization: a Functorial Approach

About FRELIP

Free eLibrary Portal (FRELIP) provides access to academic resources, research materials, and scholarly publications from Nigerian universities and research institutions.

Quick Links

FRELIP Home
About FRELIP
Research Guides
Search Catalog

Resources

Indexed Records: 13,069+
RSS Feeds: 6,699+
Disciplines: 14
Subjects: 155

© 2026 FRELIP - Free eLibrary Portal | frelip.org | Powered by VuFind