Skip to content
<title>Channels - Regular Separability of One Counter Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Regular Separability of One Counter Automata
Search for more channels:
Similar Items: Regular Separability of One Counter Automata
Channel Options
View Record
Explore related channels
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
Model Checking Flat Freeze LTL on One-Counter Automata
Quick Look
Shortest paths in one-counter systems
Quick Look
Simulation Problems Over One-Counter Nets
Quick Look
Countdown games, and simulation on (succinct) one-counter nets
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
Separating regular languages with two quantifier alternations
Quick Look
Separation Property for wB- and wS-regular Languages
Quick Look
Random Deterministic Automata With One Added Transition
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Napari-3D-Counter: A manual cell counter for napari
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Model Checking Probabilistic Timed Automata with One or Two Clocks
Quick Look
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Quick Look
Reasoning about Data Repetitions with Counter Systems
Quick Look
DuoCounter: An Approach for Counting Fish Using Tracking
Quick Look
Petri Automata
Quick Look
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Separability in the Ambient Logic
Quick Look
Separating Sessions Smoothly
Quick Look
Enhanced Counter-UAS Capabilities in Close-In Weapon Systems Using Hierarchical Reinforcement Learning
Quick Look
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
Quick Look
Modal Interface Automata
Load more items
View Record
Prev
Explore related channels
Next
