A Real-Time Interval Logic and Its Decision Procedure.

Y. S. Ramakrishna Laura K. Dillon Louise E. Moser P. M. Melliar-Smith George Kutty

Published in: FSTTCS (1993)

Keyphrases

real time
decision making
decision makers
predicate logic
decision rules
proof procedure
genetic algorithm
wireless sensor networks
low cost
logic programming
modal logic
decision process
digital circuits