Login / Signup

Template-Based Controller Synthesis for Timed Systems.

Bernd FinkbeinerHans-Jörg Peter
Published in: TACAS (2012)
Keyphrases
  • petri net
  • neural network
  • genetic algorithm
  • expert systems
  • computer systems