Login / Signup

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm.

Yahui SongWei-Ngan Chin
Published in: SPLASH Companion (2022)
Keyphrases
  • real time systems
  • learning algorithm
  • optimal solution
  • search space
  • np hard
  • dynamic programming
  • real time
  • constraint satisfaction problems
  • combinatorial optimization
  • solution quality