linear temporal logic

SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 LTL Realizability via Safety and Reachability Games IJCAI 2018 Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications RSS 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams RSS 2018 Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017 Symbolic LTLf Synthesis IJCAI 2017 Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012 Controlling Wild Bodies Using Linear Temporal Logic RSS 2011 Designing Petri Net Supervisors from LTL Specifications RSS 2011