Login / Signup

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro HasuoClovis EberhartJames HaydonJérémy DubutRose BohrerTsutomu KobayashiSasinee PruekprasertXiao-Yi ZhangErik André PallasAkihisa YamadaKohei SuenagaFuyuki IshikawaKenji KamijoYoshiyuki ShinyaTakamasa Suetomi
Published in: IV (2024)
Keyphrases
  • real world
  • complex systems
  • program execution
  • case study
  • high level
  • logic programs
  • modal logic
  • computational properties