Login / Signup

Weighted Linear Dynamic Logic.

Manfred DrosteGeorge Rahonis
Published in: GandALF (2016)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • propositional dynamic logic
  • modal logic
  • weighted sum
  • linear systems
  • artificial intelligence
  • multiple input