Let them be part of our lives

Future work

Based on the findings we have so far, some refined and new ideas are to be implemented:

  • Development of cost based metrics for optimizing monitors;
  • Development of techniques based on Partially Observable Markov Decision Pocesses (POMDPs) to generate optimal policies for monitoring safety as well as liveness properties and investigate the effect of different reward structures on the accuracy of the monitoring;
  • Investigation on monitoring technique when the property automaton is based on expected values.


You are here: Home Future work