conftrace_

formal methods

79 papers

Explore in graph

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) knowledge representation (301) temporal logic (105) automated reasoning (122) large language model (13587) neural network verification (106) controller synthesis (21) reinforcement learning (4352)

Papers

Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 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