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

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration).

Andreas MüllerStefan MitschWieland SchwingerAndré Platzer
Published in: CyPhy/WESE (2018)
Keyphrases
  • hybrid systems
  • dynamic systems
  • knowledge acquisition