• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On Timed Automata with Input-Determined Guards.

Deepak D'SouzaNicolas Tabareau
Published in: FORMATS/FTRTFT (2004)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • databases
  • social networks
  • input data
  • random variables