Login / Signup

From scenario modeling to scenario programming for reactive systems with dynamic topology.

Joel GreenyerDaniel GritznerFlorian KönigJannik DahlkeJianwei ShiEric Wete
Published in: ESEC/SIGSOFT FSE (2017)
Keyphrases
  • reactive systems
  • programming language
  • machine learning
  • low cost
  • model checking
  • temporal logic