Sign Up to like & get
recommendations!
2
Published in 2020 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-020-09574-9
Abstract: We provide a memory-efficient algorithm for multi-objective model checking problems on Markov decision processes (MDPs) with multiple cost structures. The key problem at hand is to check whether there exists a scheduler for a given…
read more here.
Keywords:
cost bounded;
bounded tradeoff;
cost;
multi cost ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2019 at "Automation in Construction"
DOI: 10.1016/j.autcon.2018.09.009
Abstract: Abstract Time-cost tradeoff analysis allows a contractor to build a project using an optimal schedule that leads to minimum cost. The financing cost can be minimized if the financing decision considers different financing alternatives such…
read more here.
Keywords:
cost;
time cost;
cost tradeoff;
tradeoff analysis ... See more keywords