conftrace_

temporal logic constraint

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic (3) recurrent neural network (2) formal verification (2) finite-state controller (1) weighted average cost (1) optimal trajectory (1) robotic surveillance (1) signal temporal logic (1) planning domain definition language (1) policy switching (1)

Papers

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching L4DC 2025 Classical Planning with Avoid Conditions AAAI 2022 STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NeurIPS 2020 Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020 Optimal Control with Weighted Average Costs and Temporal Logic Specifications RSS 2012