A decidable timeout-based extension of linear temporal logic.

Janardan Misra Suman Roy

Published in: J. Appl. Non Class. Logics (2014)

Keyphrases

linear temporal logic
linear time temporal logic
temporal logic
model checking
computation tree logic
bounded model checking
dynamic programming
power management
sequent calculus
np hard
modal logic
concurrent systems