Author:
Hahn Ernst Moritz,Hashemi Vahid,Hermanns Holger,Turrini Andrea
Publisher
Springer International Publishing
Reference47 articles.
1. Gurobi 4.0.2. http://www.gurobi.com/
2. IBM ILOG CPLEX Optimizer. http://www.ibm.com/software/commerce/optimization/cplex-optimizer/
3. PICOS: A Python interface for conic optimization solvers. http://picos.zib.de/
4. PRISM model checker. http://www.prismmodelchecker.org/
5. Abate, A., El Ghaoui, L.: Robust model predictive control through adjustable variables: an application to path planning. In: CDC, pp. 2485–2490 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMC4PEP: Stochastic Model Checking of Product Engineering Processes;Fundamental Approaches to Software Engineering;2022
2. Lumpability for Uncertain Continuous-Time Markov Chains;Quantitative Evaluation of Systems;2021
3. On Correctness, Precision, and Performance in Quantitative Verification;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
4. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models;Tools and Algorithms for the Construction and Analysis of Systems;2019
5. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs;Dependable Software Engineering. Theories, Tools, and Applications;2017