Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Sascha Wunderlich  [Clear All Filters]
2014
C. Baier, et al., “Probabilistic Model Checking and Non-standard Multi-objective Reasoning”, in Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014.
C. Baier, C. Dubslaff, J. Klein, S. Klüppelholz, and S. Wunderlich, “Probabilistic Model Checking for Energy-Utility Analysis”, in Horizons of the Mind. A Tribute to Prakash Panangaden, vol. 8464, 2014, p. 96–123.
C. Baier, J. Klein, S. Klüppelholz, and S. Wunderlich, “Weight Monitoring with Linear Temporal Logic: Complexity and Decidability”, in Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 2014.