Sign in

Incentive Design for Temporal Logic Objectives.

Yagiz SavasVijay GuptaMelkior OrnikLillian J. RatliffUfuk Topcu
Published in: CDC (2019)
Keyphrases
  • temporal logic
  • model checking
  • concurrent systems
  • formal specification language
  • software engineering
  • satisfiability problem
  • dynamic constraints
  • linear temporal logic