An approach to agent path planning under temporal logic constraints

DOI10.1007/978-3-031-49193-1_7MaRDI QIDQ6591622

Chaofeng Yu, Nan Zhang, Cong Tian, Zhenhua Duan

Publication date: 22 August 2024

zbMATH Keywords

path planningreinforcement learningfixed-point theoryPareto-dominanceunified temporal logic

Mathematics Subject Classification ID

Discrete mathematics in relation to computer science (68Rxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• \({\mathcal Q}\)-learning
• A decision procedure for propositional projection temporal logic with infinite models
• A proof system for unified temporal logic
• LTL to Büchi Automata Translation: Fast and More Deterministic
• Bounded Model Checking for Propositional Projection Temporal Logic
• Certified reinforcement learning with logic guidance

This page was built for publication: An approach to agent path planning under temporal logic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6591622)