Alternating-time temporal logic with resource bounds.

Hoang Nga Nguyen Natasha Alechina Brian Logan Abdur Rakib

Published in: J. Log. Comput. (2018)

Keyphrases

alternating time temporal logic
upper bound
lower bound
resource allocation
model checking
imperfect information
worst case