%0 Conference Paper %1 conf/atva/IbrahimP20 %A Ibrahim, Amjad %A Pretschner, Alexander %B ATVA %D 2020 %E Hung, Dang Van %E Sokolsky, Oleg %I Springer %K dblp %P 343-359 %T From Checking to Inference: Actual Causality Computations as Optimization Problems. %U http://dblp.uni-trier.de/db/conf/atva/atva2020.html#IbrahimP20 %V 12302 %@ 978-3-030-59152-6

@inproceedings{conf/atva/IbrahimP20, added-at = {2020-10-13T00:00:00.000+0200}, author = {Ibrahim, Amjad and Pretschner, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2cf6a29ac7a0598ec6d81f13a667c2d48/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2020}, editor = {Hung, Dang Van and Sokolsky, Oleg}, ee = {https://doi.org/10.1007/978-3-030-59152-6_19}, interhash = {b63c4564950cf4b080bd930f90759074}, intrahash = {cf6a29ac7a0598ec6d81f13a667c2d48}, isbn = {978-3-030-59152-6}, keywords = {dblp}, pages = {343-359}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-14T11:35:02.000+0200}, title = {From Checking to Inference: Actual Causality Computations as Optimization Problems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2020.html#IbrahimP20}, volume = 12302, year = 2020 }