|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow |
Dynamic Conflict Resolution Using Justification Based Reasoning. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Jean Krivine (eds.) |
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Künnemann, Deepak Garg 0001, Michael Backes 0001 |
Causality & Control Flow. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Samantha Kleinberg (eds.) |
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shakil M. Khan 0001, Mikhail Soutchanski |
Towards A Logical Account of Epistemic Causality. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke |
Extending Causal Models from Machines into Humans. |
CREST@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hadas Kress-Gazit, Hazem Torfah |
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Baum 0001, Holger Hermanns, Timo Speith |
Towards a Framework Combining Machine Ethics and Machine Explainability. |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Barbero, Gabriel Sandu |
Interventionist Counterfactuals on Causal Teams. |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu |
Causality Analysis for Concurrent Reactive Systems (Extended Abstract). |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Walter Fontana, Jean Krivine |
Interactions between Causal Structures in Graph Rewriting Systems. |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue |
Causality for General LTL-definable Properties. |
CREST@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano |
Causality and Temporal Dependencies in the Design of Fault Management Systems. |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner |
ACCBench: A Framework for Comparing Causality Algorithms. |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chris Leong, Tim Kelly, Robert Alexander |
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Andrey Kupriyanov |
Causality-based Model Checking. |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani |
Counterfactual Causality from First Principles? |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sjur K. Dyrkolbotn |
On Preemption and Overdetermination in Formal Theories of Causality. |
CREST@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Stefan Leue (eds.) |
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. |
CREST@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi 0001 |
(De-)Composing Causality in Labeled Transition Systems. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hichem Debbi |
Debugging of Markov Decision Processes (MDPs) Models. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler |
Causality and Responsibility for Formal Verification and Beyond. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Oleg Sokolsky (eds.) |
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Oussama Beroual |
Fault Localization in Web Applications via Model Finding. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Severin Kacianka, Florian Kelbert, Alexander Pretschner |
Towards a Unified Model of Accountability Infrastructures. |
CREST@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|