From Checking to Inference: Actual Causality Computations as Optimization Problems-Reference-Cited by-同舟云学术

From Checking to Inference: Actual Causality Computations as Optimization Problems

Published:2020 Issue: Volume: Page:343-359
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Ibrahim Amjad,Pretschner Alexander

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-59152-6_19

Reference35 articles.

1. Aleksandrowicz, G., Chockler, H., Halpern, J.Y., Ivrii, A.: The computational complexity of structure-based causality. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (2014)

2. Bacchus, F., Järvisalo, M., Martins, R., et al.: MaxSAT evaluation 2018 (2018)

3. Bacchus, F., Narodytska, N.: Cores in core based MaxSAT algorithms: an analysis. In: International Conference on Theory and Applications of Satisfiability Testing (2014)

4. Beer, A., Heidinger, S., Kühne, U., Leitner-Fischer, F., Leue, S.: Symbolic causality checking using bounded model checking. In: Model Checking Software - 22nd International Symposium, SPIN (2015)

5. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counter examples using causality. Formal Methods Syst. Des. 40(1), 20–40 (2012)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Feature causality;Journal of Systems and Software;2024-03

2. Building causal models for finding actual causes of unmanned aerial vehicle failures;Frontiers in Robotics and AI;2024-02-07

3. Synthesis of Temporal Causality;Lecture Notes in Computer Science;2024

4. Causality in configurable software systems;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

5. Probabilistic causes in Markov chains;Innovations in Systems and Software Engineering;2022-04-25