7. BibiliographyΒΆ
| [Maler04] | O. Maler and D. Nickovic, Monitoring Temporal Properties of Continuous Signals, proceedings of FORMATS-FTRTFT, in: LNCS, vol. 3253, 2004. |
| [ContractMono] | A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. -B. Raclet, P. Reinkemeier, A. L. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, and K. G. Larsen, Contracts for system design, 2018. |
| [Nuzzo19] | P. Nuzzo, J. Li, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design, ACM Trans. on Embedded Computing Systems, Jan. 2019. |
| [Oh22] | C. Oh, M. Lora, P. Nuzzo, Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts, IEEE/ACM International Conference on Computer-Aided Design, Nov. 2022. |
| [Gurobi] | Gurobi Optimization, LLC, Gurobi Optimizer Reference Manual, 2020. Available: http://www.gurobi.com. |