Login / Signup

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.

Tadaaki TanimotoSuguru SasakiAkio NakataTeruo Higashino
Published in: ATVA (2004)
Keyphrases
  • finite state machines
  • timed automata
  • high level
  • petri net
  • data sets
  • artificial intelligence
  • hidden markov models
  • markov chain
  • regular expressions
  • finite automata
  • tree automata
  • probabilistic automata