On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Hermann GruberMarkus HolzerAstrid KiehnBarbara KönigPublished in: Developments in Language Theory (2005)
Keyphrases
- timed automata
- model checking
- reachability analysis
- first order logic
- finite state
- structural information
- theorem prover
- natural language
- programming language
- markov chain
- markov processes
- language learning
- theoretical analysis
- information retrieval
- structural features
- computational linguistics
- high level
- genetic algorithm