Modeling and Reasoning with Decision-Theoretic Goals

1. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)

   Article  MATH  Google Scholar 

2. Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of the 12th International Symposium on the Foundation of Software Engineering (FSE 2004), Newport Beach, CA, pp. 53–62 (2004)

   Google Scholar 

3. Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Representing and reasoning about preferences in requirements engineering. Requirements Engineering Journal (REJ) 16, 227–249 (2011)

   Article  Google Scholar 

4. Mikhail Soutchanski. High-Level Robot Programming in Dynamic and Incompletely Known Environments. PhD thesis, Department of Computer Science, University of Toronto (2003)

   Google Scholar 

5. Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Proceedings of the 17th Conference on Artificial Intelligence (AAAI 2000), Austin, TX, July 30–August 3, pp. 355–362 (2000)

   Google Scholar 

6. Yu, E.S.K., Mylopoulos, J.: Understanding “why” in software process modelling, analysis, and design. In: Proceedings of the 16th International Conference on Software Engineering (ICSE 1994), Sorrento, Italy, pp. 159–168 (1994)

   Google Scholar 

7. Cailliau, A., van Lamsweerde, A.: A probabilistic framework for goal-oriented risk analysis. In: Proceedings of the 20th IEEE International Requirements Engineering Conference (RE 2012), Chicago, IL, pp. 201–210 (2012)

   Google Scholar 

8. Liaskos, S., Jalman, R., Aranda, J.: On eliciting preference and contribution measures in goal models. In: Proceedings of the 20th International Requirements Engineering Conference (RE 2012), Chicago, IL, pp. 221–230 (2012)

   Google Scholar 

9. Boland, P.J.: Statistical and Probabilistic Methods in Actuarial Science. Chapman & Hall – CRC Interdisciplinary Statistics (2007)

   Google Scholar 

10. Karlsson, J., Ryan, K.: A cost-value approach for prioritizing requirements. IEEE Software 14(5), 67–74 (1997)

    Article  Google Scholar 

11. Regan, K., Boutilier, C.: Robust policy computation in reward-uncertain MDPs using nondominated policies. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010), Atlanta, GA (2010)

    Google Scholar 

12. Regan, K., Boutilier, C.: Regret-based reward elicitation for Markov Decision Processes. In: Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI 2009), Montreal, QC, Canada, pp. 444–451 (2009)

    Google Scholar 

13. Finkelstein, A., Dowell, J.: A comedy of errors: the london ambulance service case study. In: Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD 8), Schloss Velen, Germany, pp. 2–4 (September 1996)

    Google Scholar 

14. Pham, H., Soutchanski, M., Mylopoulos, J.: A simulator and a Golog implementation of the London Ambulance Service (LAS) Computer-Aided Despatch (CAD) system. Technical report, Department of Computer Science, Ryerson University (2006), http://www.cs.toronto.edu/~mes/papers/LAS/index.html

15. Böhnstedt, L., Ferrein, A., Lakemeyer, G.: Options in Readylog reloaded – generating decision-theoretic plan libraries in Golog. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 352–366. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

16. Heaven, W., Letier, E.: Simulating and optimising design decisions in quantitative goal models. In: Proceedings of the 19th IEEE International Requirements Engineering Conference (RE 2011), Trento, Italy, pp. 79–88 (2011)

    Google Scholar 

17. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: Prism: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

18. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: a language to address uncertainty in self-adaptive systems requirement. Requirements Engineering 15(2), 177–196 (2010)

    Article  Google Scholar 

19. Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering (RE 2010), Sydney, Australia, pp. 125–134 (2010)

    Google Scholar 

20. Horkoff, J., Yu, E.: Analyzing goal models: different approaches and how to choose among them. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC 2011), pp. 675–682. ACM, Taichung (2011)

    Chapter  Google Scholar 

21. Liaskos, S., Khan, S.M., Litoiu, M., Jungblut, M.D., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Informations Systems (IS) 37(8), 767–783 (2012)

    Article  Google Scholar 

Download references