According to our database1, Benjamin Bittner authored at least 8 papers between 2012 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012