The following pages link to Real-time automata (Q2708466):
Displaying 14 items.
- Efficiently identifying deterministic real-time automata from labeled data (Q420918) (← links)
- On the complexity of timed pattern matching (Q832025) (← links)
- A theory of timed automata (Q1322162) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- (Q3330503) (← links)
- (Q4453202) (← links)
- (Q4793129) (← links)
- Learning One-Clock Timed Automata (Q5039523) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Active learning of one-clock timed automata using constraint solving (Q6160915) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)
- Computing the bandwidth of meager timed automata (Q6666783) (← links)