Incentive Design for Temporal Logic Objectives.

Yagiz Savas Vijay Gupta Melkior Ornik Lillian J. Ratliff Ufuk Topcu

Published in: CDC (2019)

Keyphrases

temporal logic
model checking
concurrent systems
formal specification language
software engineering
satisfiability problem
dynamic constraints
linear temporal logic