conftrace_

temporal logic

105 papers

Explore in graph

Also known as

TL

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) markov decision process (790) multi-agent system (1819) reinforcement learning (4352) formal methods (79) finite trace (13) automated planning (152) automata theory (22)

Papers

An Automata-Theoretic Approach to the Vehicle Routing Problem RSS 2014
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications RSS 2013
Concurrent Action Detection with Structural Prediction ICCV 2013
Optimal Control with Weighted Average Costs and Temporal Logic Specifications RSS 2012
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011