Fetching the paper…
Reading the bibliography…
The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property.
Reichenbach, H.: The Direction of Time. Dover Publications (1956)
1956
Earlier work this paper cites.
Gill, J.: Computational complexity of probabilistic Turing machines. SIAM Journal on Computing 6
1977
Earlier work this paper cites.
Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems. Math. Oper. Res. 16
1991
Earlier work this paper cites.
Eells, E.: Probabilistic Causality. Cambridge Studies in Probability, Induction and Decision Theory, Cambridge University Press (1991)
1991
Earlier work this paper cites.
Toda, S.: PP is as Hard as the Polynomial-Time Hierarchy. SIAM Journal on Computing 20
1991
Earlier work this paper cites.
Halpern, J.Y., Pearl, J.: Causes and Explanations: A Structural-Model Approach: Part 1: Causes. In: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI). pp. 194–202 (2001)
2001
Earlier work this paper cites.
Chockler, H., Halpern, J.Y.: Responsibility and Blame: A Structural-Model Approach. J. Artif. Int. Res. 22
2004
Earlier work this paper cites.
Eiter, T., Lukasiewicz, T.: Complexity results for explanations in the structural-model approach. Artificial Intelligence 154
2004
Earlier work this paper cites.
Eiter, T., Lukasiewicz, T.: Causes and explanations in the structural-model approach: Tractable cases. Artificial Intelligence 170
2006
Earlier work this paper cites.
Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge, MA (2008)
2008
Earlier work this paper cites.
Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Transactions on Computational Logic 9
2008
Earlier work this paper cites.
Sistla, A.P., Srinivas, A.R.: Monitoring Temporal Properties of Stochastic Systems. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) Verification, Model Checking, and Abstract Interpretation. pp. 294–308. Springer Berlin Heidelberg (2008)
2008
Earlier work this paper cites.
Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. In: Computer Aided Verification (CAV’09). pp. 94–108. Springer Berlin Heidelberg (2009). https://doi.org/10.1007/978-3-642-02658-4_11
2009
Earlier work this paper cites.
Chadha, R., Sistla, A.P., Viswanathan, M.: On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56
2009
Earlier work this paper cites.
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, Third Edition. The MIT Press, 3rd edn. (2009)
2009
Earlier work this paper cites.
Gondi, K., Patel, Y., Sistla, A.P.: Monitoring the Full Range of ω \omega -Regular Properties of Stochastic Systems. In: Proceedings of VMCAI’09:. pp. 105–119. Springer Berlin Heidelberg (2009). https://doi.org/10.1007/978-3-540-93900-9_12
2009
Cited alongside, same era.
Kleinberg, S., Mishra, B.: The Temporal Logic of Causal Structures. In: Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI). pp. 303–312 (2009)
2009
Cited alongside, same era.
Pearl, J.: Causality. Cambridge University Press, 2nd edn. (2009)
2009
Cited alongside, same era.
Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory and Practice of Logic Programming 9
2009
Cited alongside, same era.
Kleinberg, S., Mishra, B.: The Temporal Logic of Token Causes. In: Proceedings of KR’10. p. 575–577. AAAI Press (2010)
Cini, C., Francalanza, A.: An LTL Proof System for Runtime Verification. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 581–595. Springer Berlin Heidelberg (2015)
2015
Later among the works it cites.
Haase, C., Kiefer, S.: The Odds of Staying on Budget. In: Automata, Languages, and Programming. pp. 234–246. Springer Berlin Heidelberg (2015). https://doi.org/10.1007/978-3-662-47666-6_19
2015
Later among the works it cites.
Haase, C., Kiefer, S.: The Complexity of the Kth Largest Subset Problem and Related Problems. Inf. Process. Lett. 116
2015
Later among the works it cites.
Halpern, J.Y.: A Modification of the Halpern-Pearl Definition of Causality. In: Proceedings of IJCAI’15. p. 3022–3033. AAAI Press (2015)
2015
Later among the works it cites.
Huang, Y., Kleinberg, S.: Fast and Accurate Causal Inference from Time Series Data. In: Proceedings of FLAIRS 2015. pp. 49–54. AAAI Press (2015)
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2010
Cited alongside, same era.
Vennekens, J., Bruynooghe, M., Denecker, M.: Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. In: Logics in Artificial Intelligence. pp. 313–325. Springer Berlin Heidelberg (2010)
2010
Cited alongside, same era.
Feigenbaum, J., Hendler, J.A., Jaggard, A.D., Weitzner, D.J., Wright, R.N.: Accountability and Deterrence in Online Life. In: Proceedings of WebSci ’11. ACM, New York, NY, USA (2011). https://doi.org/10.1145/2527031.2527043
2011
Cited alongside, same era.
Kleinberg, S.: A Logic for Causal Inference in Time Series with Discrete and Continuous Variables. In: Proceedings of IJCAI’11. pp. 943–950 (2011)
2011
Cited alongside, same era.
Kleinberg, S., Hripcsak, G.: A review of causal inference for biomedical informatics. J Biomed Inform. 44
2011
Cited alongside, same era.
Braham, M., van Hees, M.: An anatomy of moral responsibility. Mind 121 (483)
2012
Cited alongside, same era.
Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime Verification with State Estimation. In: Runtime Verification. pp. 193–207. Springer Berlin Heidelberg (2012). https://doi.org/10.1007/978-3-642-29860-8_15
2012
Cited alongside, same era.
Bartocci, E., Grosu, R., Karmarkar, A., Smolka, S.A., Stoller, S.D., Zadok, E., Seyster, J.: Adaptive Runtime Verification. In: Runtime Verification. pp. 168–182. Springer Berlin Heidelberg (2013). https://doi.org/10.1007/978-3-642-35632-2_18
2013
Cited alongside, same era.
2015
Later among the works it cites.
Daca, P., Henzinger, T.A., Křetínský, J., Petrov, T.: Faster Statistical Model Checking for Unbounded Temporal Properties. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 112–129. Springer Berlin Heidelberg (2016). https://doi.org/10.1007/978-3-662-49674-9_7
2016
Later among the works it cites.
Fenton-Glynn, L.: A Proposed Probabilistic Extension of the Halpern and Pearl Definition of ‘Actual Cause’. The British Journal for the Philosophy of Science 68
2016
Later among the works it cites.
Chatterjee, K., Doyen, L., Henzinger, T.A.: The Cost of Exactness in Quantitative Reachability. In: Models, Algorithms, Logics and Tools. pp. 367–381. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-63121-9_18
2017
Later among the works it cites.
Zheng, M., Kleinberg, S.: A Method for Automating Token Causal Explanation and Discovery. In: Proceedings of FLAIRS’17 (2017)
2017
Later among the works it cites.
Faran, R., Kupferman, O.: Spanning the spectrum from safety to liveness. Acta Informatica 55
2018
Later among the works it cites.
Miller, T.: Explanation in Artificial Intelligence: Insights from the Social Sciences. Artificial Intelligence 267
2018
Later among the works it cites.
Piribauer, J., Baier, C.: Partial and conditional expectations in Markov decision processes with integer weights. In: Proceedings of FoSSaCS’19. Lecture Notes in Computer Science, vol. 11425, pp. 436–452. Springer (2019)
2019
Later among the works it cites.
Esparza, J., Kiefer, S., Kretinsky, J., Weininger, M.: Online monitoring ω \omega -regular properties in unknown Markov chains. Arxiv preprint, 2010.08347 (2020)
2020
Later among the works it cites.
Ibrahim, A., Pretschner, A.: From Checking to Inference: Actual Causality Computations as Optimization Problems. In: Proceedings of ATVA’20. pp. 343–359. Springer Internat. Publishing, Cham (2020). https://doi.org/10.1007/978-3-030-59152-6_19
2020
Later among the works it cites.
Ibrahim, A., Pretschner, A., Klesel, T., Zibaei, E., Kacianka, S., Pretschner, A.: Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. In: Proceedings of ECAI’20. pp. 2978 – 2985. IOS Press Ebooks (2020). https://doi.org/10.3233/FAIA200472
2020
Later among the works it cites.