Login / Signup

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

Yahui SongWei-Ngan Chin
Published in: TACAS (1) (2023)
Keyphrases
  • real time systems
  • learning algorithm
  • solution quality
  • dynamic programming
  • knowledge base
  • simulated annealing