First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-27 09:48:36Decision theory Decision support system Incident management Decision analysis Decision-making Wildfire suppression Information Services Procurement Library Wildfire Decision model Evaluation Situation awareness International Association of Wildland Fire | Add to Reading List |
![]() | Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta KwiatkowskaDocID: 1xVCr - View Document |
![]() | Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin VechevDocID: 1xVc9 - View Document |
![]() | Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2DocID: 1xUjg - View Document |
![]() | WORKSHOP PROGRAM The science of choice How to model the decision-making process? Rostock, October 28 to 30, 2015DocID: 1v2JJ - View Document |
![]() | 1 Finite Model Approximations for Partially Observed Markov Decision Processes with Discounted Cost arXiv:1710.07009v1 [cs.SY] 19 Oct 2017DocID: 1uJ7G - View Document |