The following pages link to (Q4938632):
Displaying 9 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- A model of finite automata on timed omega-trees (Q2703750) (← links)
- Towards deriving test sequences by model checking (Q2873605) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Analyzing Timed Systems Using Tree Automata (Q4608679) (← links)
- Towards an Efficient Tree Automata based technique for Timed Systems (Q5111654) (← links)