Login / Signup

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.

Shigeki HagiharaAtsushi UenoTakashi TomitaMasaya ShimakawaNaoki Yonezaki
Published in: FormaliSE@ICSE (2016)
Keyphrases
  • reactive systems
  • database
  • databases
  • temporal logic
  • case study
  • real time
  • social networks
  • information systems
  • training data
  • multi agent
  • human behavior