Awesome Robotics
π
Papers
π§
Topics
π₯
Trending
πΊοΈ
Map
π
Leaderboards
π
Learn
π€
Ask AI
β―
More
π₯
Authors
π
Reading Packs
π
Datasets
π οΈ
Tools
π°
News
π
Blogs
βοΈ
Newsletter
π―
Research Radar
π
Saved
+ Add Paper
βΎ
β
β all topics
overview
Formal Languages
loadingβ¦
π€
Ask AI
Awesome Formal Languages β curated papers, datasets & benchmarks Β· Awesome Robotics
β all topics
overview
Formal Languages
15 papers tagged Formal Languages β re-sort below
Papers
π₯ Trending (default)
π Most cited
π Newest first
π€ A β Z by title
15 papers Β· trending (default)
numbers = π₯ heat
A Unified Framework for Automated Assembly Sequence and Production Line Planning using Graph-based Optimization
(2025)
Christoph Hartmann (Technical University of Munich et al.
1.61
Can LLM-Reasoning Models Replace Classical Planning? A Benchmark Study
(2025)
Kai Goebel and Patrik Zips
1.33
Anytime Incremental \(\rho\)pomdp Planning In Continuous Spaces
(2025)
Ron Benchetrit, Idan Lev-Yehudi, Andrey Zhitnikov, et al.
1.28
Robo-Troj: Attacking LLM-based Task Planners
(2025)
Mohaiminul Al Nahian et al.
1.17
Improving the lifecycle of robotics components using Domain-Specific Languages
(2013)
A. Romero-Garces et al.
β
Proceedings of the 1st International Workshop on Robot Learning and Planning (RLP 2016)
(2016)
Nancy Amato et al.
β
DT*: Temporal Logic Path Planning in a Dynamic Environment
(2021)
Priya Purohit and Indranil Saha
β
Meta-Modeling of Assembly Contingencies and Planning for Repair
(2021)
Priyam Parashar et al.
β
Waiting Tables as a Robot Planning Problem
(2021)
Anahita Mohseni-Kabir et al.
β
Partially Observable Markov Decision Processes (POMDPs) and Robotics
(2021)
Hanna Kurniawati
β
Probabilistic Inference in Planning for Partially Observable Long Horizon Problems
(2021)
Alphonsus Adu-Bredu et al.
β
Optimizing robot planning domains to reduce search time for long-horizon planning
(2021)
Maximilian Diehl et al.
β
Assembly Planning from Observations under Physical Constraints
(2022)
Thomas Chabal et al.
β
Robotic Planning under Uncertainty in Spatiotemporal Environments in Expeditionary Science
(2022)
Victoria Preston et al.
β
PRP Rebooted: Advancing the State of the Art in FOND Planning
(2023)
Christian Muise et al.
β