Co-occurring keywords · papers mentioning both
Papers
Verification of RNN-Based Neural Agent-Environment Systems
AAAI 2019
Verifying Robustness of Gradient Boosted Models
AAAI 2019
Actual Causality in a Logical Setting
IJCAI 2018
Determining Semantic Textual Similarity using Natural Deduction Proofs
EMNLP 2017
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
IJCAI 2017
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language
RSS 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps
RSS 2012
Controlling Wild Bodies Using Linear Temporal Logic
RSS 2011