Skip to content
<title>Channels - Simulation Problems Over One-Counter Nets :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Simulation Problems Over One-Counter Nets
Search for more channels:
Similar Items: Simulation Problems Over One-Counter Nets
Channel Options
View Record
Explore related channels
Quick Look
Countdown games, and simulation on (succinct) one-counter nets
Quick Look
Shortest paths in one-counter systems
Quick Look
Regular Separability of One Counter Automata
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
Model Checking Flat Freeze LTL on One-Counter Automata
Quick Look
Napari-3D-Counter: A manual cell counter for napari
Quick Look
Reasoning about Data Repetitions with Counter Systems
Quick Look
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
Quick Look
The Church Synthesis Problem over Continuous Time
Quick Look
DuoCounter: An Approach for Counting Fish Using Tracking
Quick Look
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Quick Look
Enhanced Counter-UAS Capabilities in Close-In Weapon Systems Using Hierarchical Reinforcement Learning
Quick Look
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Quick Look
An Explicit Framework for Interaction Nets
Quick Look
Priced Timed Petri Nets
Quick Look
Structurally Cyclic Petri Nets
Quick Look
Reversing Place Transition Nets
Quick Look
Separators in Continuous Petri Nets
Quick Look
Countering Weaponized Tradition: An Editorial on an Idea
Quick Look
Acyclic Solos and Differential Interaction Nets
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
From Proof Nets to the Free *-Autonomous Category
Quick Look
Applying CEGAR to the Petri Net State Equation
Quick Look
Scaling ResNets in the Large-depth Regime
Load more items
View Record
Prev
Explore related channels
Next
