Automatic synthesis of action programs for intelligent robots

DOI10.1134/S0361768816030063zbMath1452.68241MaRDI QIDQ2216712

V. Yu. Osipov

Publication date: 16 December 2020

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Related Items (1)

Fault identification in mobile robot groups using sliding mode observers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic behavior composition synthesis
• Synthesis of parallel recursive programs in structural functional models
• Algorithms of structured synthesis of programs
• An approach to automatic deductive synthesis of functional programs
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Automatic synthesis of action programs for intelligent robots