Skip to content
<title>Channels - Model Checking Flat Freeze LTL on One-Counter Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Model Checking Flat Freeze LTL on One-Counter Automata
Search for more channels:
Similar Items: Model Checking Flat Freeze LTL on One-Counter Automata
Channel Options
View Record
Explore related channels
Quick Look
The Complexity of Flat Freeze LTL
Quick Look
Regular Separability of One Counter Automata
Quick Look
Linear Encodings of Bounded LTL Model Checking
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Model Checking Probabilistic Timed Automata with One or Two Clocks
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Antichains for the Automata-Based Approach to Model-Checking
Quick Look
Model-Checking of Ordered Multi-Pushdown Automata
Quick Look
Shortest paths in one-counter systems
Quick Look
Timed Automata Robustness Analysis via Model Checking
Quick Look
Simulation Problems Over One-Counter Nets
Quick Look
Countdown games, and simulation on (succinct) one-counter nets
Quick Look
The Complexity of Second-order HyperLTL
Quick Look
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Quick Look
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
Quick Look
Model Checking Vector Addition Systems with one zero-test
Quick Look
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
Quick Look
Random Deterministic Automata With One Added Transition
Quick Look
Napari-3D-Counter: A manual cell counter for napari
Quick Look
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
Quick Look
Verification of Flat FIFO Systems
Quick Look
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Quick Look
Using models to model-check recursive schemes
Load more items
View Record
Prev
Explore related channels
Next
