conftrace_

automated synthesis

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

strategic properties (1) quantitative strategy logic (1) constrained counting (1) scalable technique (1) manipulator synthesis (1) modular manipulator (1) kinematic constraint (1) obstacle avoidance (1) trajectory planning (1) constrained sampling (1)

Papers

Automated Synthesis of Mechanisms IJCAI 2022 Counting, Sampling, and Synthesis: The Quest for Scalability IJCAI 2022 Automated Synthesis of Modular Manipulators’ Structure and Control for Continuous Tasks around Obstacles RSS 2020