Skip to content
<title>Channels - Stochastic Timed Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Stochastic Timed Automata
Search for more channels:
Similar Items: Stochastic Timed Automata
Channel Options
View Record
Explore related channels
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Weak Alternating Timed Automata
Quick Look
Determinisability of register and timed automata
Quick Look
History-deterministic Timed Automata
Quick Look
Parametric updates in parametric timed automata
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
Stochastic Processes with Expected Stopping Time
Quick Look
Avoiding Shared Clocks in Networks of Timed Automata
Quick Look
Analyzing Timed Systems Using Tree Automata
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
Losing Momentum in Continuous-time Stochastic Optimisation
Quick Look
Analysis of Timed and Long-Run Objectives for Markov Automata
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Timed Automata Robustness Analysis via Model Checking
Quick Look
Playing Stochastically in Weighted Timed Games to Emulate Memory
Quick Look
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Quick Look
Model Checking Probabilistic Timed Automata with One or Two Clocks
Quick Look
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Quick Look
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Quick Look
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Quick Look
Off-line test selection with test purposes for non-deterministic timed automata
Quick Look
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Quick Look
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Quick Look
Petri Automata
Load more items
View Record
Prev
Explore related channels
Next
