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

Zone Extrapolations in Parametric Timed Automata.

Johan ArcileÉtienne André
Published in: NFM (2022)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • first order logic
  • parametric models
  • theorem proving
  • real time systems
  • temporal logic
  • databases
  • database
  • high level
  • multiscale
  • mobile robot