Skip to content
<title>Channels - Countdown games, and simulation on (succinct) one-counter nets :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Countdown games, and simulation on (succinct) one-counter nets
Search for more channels:
Similar Items: Countdown games, and simulation on (succinct) one-counter nets
Channel Options
View Record
Explore related channels
Quick Look
Simulation Problems Over One-Counter Nets
Quick Look
Shortest paths in one-counter systems
Quick Look
Regular Separability of One Counter Automata
Quick Look
On the Succinctness of Atoms of Dependency
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
Model Checking Flat Freeze LTL on One-Counter Automata
Quick Look
The succinctness of first-order logic on linear orders
Quick Look
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Quick Look
Hardness of monadic second-order formulae over succinct graphs
Quick Look
Napari-3D-Counter: A manual cell counter for napari
Quick Look
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Quick Look
Succinct Graph Representations and Algorithmic Applications
Quick Look
Reasoning about Data Repetitions with Counter Systems
Quick Look
One-Clock Priced Timed Games with Negative Weights
Quick Look
DuoCounter: An Approach for Counting Fish Using Tracking
Quick Look
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Quick Look
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Quick Look
Infinite-state Games with Energy Objectives Beyond Counters
Quick Look
Enhanced Counter-UAS Capabilities in Close-In Weapon Systems Using Hierarchical Reinforcement Learning
Quick Look
Finding Ludemes in Modern Board Games: Analyzing the Top Number One Games of Board Game Geek
Quick Look
Reassessing Roman and Late Antique ‘Marbles Lanes’: One Game or Many?
Quick Look
An Explicit Framework for Interaction Nets
Quick Look
Priced Timed Petri Nets
Quick Look
Structurally Cyclic Petri Nets
Load more items
View Record
Prev
Explore related channels
Next
