A fuzzy real-time temporal logic.

Subhankar Mukherjee Pallab Dasgupta

Published in: Int. J. Approx. Reason. (2013)

Keyphrases

temporal logic
real time
model checking
modal logic
satisfiability problem
computation tree logic
fuzzy sets
temporal knowledge
control system
belief revision
transition systems
linear temporal logic
concurrent systems
mazurkiewicz traces
temporally extended
real time systems
petri net
reinforcement learning