Publisher
Springer International Publishing
Reference66 articles.
1. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS3: tooling concepts for seamless, model-based development of embedded systems. MoDELS 1508, 19–26 (2015)
2. Ay, N., Bertschinger, N., Der, R., Güttler, F., Olbrich, E.: Predictive information and explorative behavior of autonomous robots. Eur. Phys. J. B 63(3), 329–339 (2008). https://doi.org/10.1140/epjb/e2008-00175-0
3. Barthe, G., Katoen, J.P., Silva, A.: Foundations of Probabilistic Programming. Cambridge University Press, Cambridge (2020)
4. Beyene, T.A., Carlan, C.: CyberGSN: a semi-formal language for specifying safety cases. In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 63–66. IEEE (2021)
5. Björkman, M.: Internal cue theory: calibration and resolution of confidence in general knowledge. Organ. Behav. Hum. Decis. Process. 58(3), 386–405 (1994)