Follow
Marcel Steinmetz
Marcel Steinmetz
LAAS-CNRS
Verified email at laas.fr
Title
Cited by
Cited by
Year
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
612019
A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9818-9826, 2020
522020
Goal probability analysis in probabilistic planning: Exploring and enhancing the state of the art
M Steinmetz, J Hoffmann, O Buffet
Journal of Artificial Intelligence Research 57, 229-271, 2016
522016
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
402020
Stackelberg planning: Towards effective leader-follower state space search
P Speicher, M Steinmetz, M Backes, J Hoffmann, R Künnemann
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
402018
Towards clause-learning state space search: Learning to recognize dead-ends
M Steinmetz, J Hoffmann
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
262016
Towards automated network mitigation analysis
P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann
Proceedings of the 34th ACM/SIGAPP symposium on applied computing, 1971-1978, 2019
252019
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning
M Steinmetz, J Hoffmann
Artificial Intelligence 245, 1-37, 2017
252017
Simulated penetration testing and mitigation analysis
M Backes, J Hoffmann, R Künnemann, P Speicher, M Steinmetz
CoRR, 2017
252017
Constructing plan trees for simulated penetration testing
D Shmaryahu, G Shani, J Hoffmann, M Steinmetz
The 26th international conference on automated planning and scheduling 121, 2016
252016
Revisiting goal probability analysis in probabilistic planning
M Steinmetz, J Hoffmann, O Buffet
Proceedings of the International Conference on Automated Planning and …, 2016
222016
Towards dynamic dependable systems through evidence-based continuous certification
R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
212020
Plan-space explanation via plan-property dependencies: Faster algorithms & more powerful properties
R Eifler, M Steinmetz, A Torralba, J Hoffmann
Proceedings of the Twenty-Ninth International Conference on International …, 2021
182021
Simulated penetration testing as contingent planning
D Shmaryahu, G Shani, J Hoffmann, M Steinmetz
Proceedings of the International Conference on Automated Planning and …, 2018
182018
Formally reasoning about the cost and efficacy of securing the email infrastructure
P Speicher, M Steinmetz, R Künnemann, M Simeonovski, G Pellegrino, ...
2018 IEEE European Symposium on Security and Privacy (EuroS&P), 77-91, 2018
182018
Combining the delete relaxation with critical-path heuristics: A direct characterization
M Fickert, J Hoffmann, M Steinmetz
Journal of Artificial Intelligence Research 56, 269-327, 2016
172016
Bridging the gap between probabilistic model checking and probabilistic planning: Survey, compilations, and empirical comparison
M Klauck, M Steinmetz, J Hoffmann, H Hermanns
Journal of Artificial Intelligence Research 68, 247-310, 2020
142020
Explaining the space of plans through plan-property dependencies
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019), 61-68, 2019
132019
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
M Steinmetz, J Hoffmann
IJCAI, 4398-4404, 2017
132017
Partially observable contingent planning for penetration testing
D Shmaryahu, G Shani, J Hoffmann, M Steinmetz
Iwaise: First international workshop on artificial intelligence in security 33, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20