Logic model
相关论文数: 7
顶级研究者
最高引用论文
Revising motion planning under Linear Temporal Logic specifications in partially known workspaces
Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas
引用数: 104 • 2013
IDENTIFICATION OF THE MATHEMATICAL MODEL OF AN INSPECTION MOBILE ROBOT WITH FUZZY LOGIC SYSTEMS AND NEURAL NETWORKS
J. Giergiel, Krzysztof Kurc
引用数: 15 • 2011
Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations
Zhaoyuan Gu, Rongming Guo, William B. Yates, Yipu Chen, Yuntian Zhao, Ye Zhao
引用数: 13 • 2024
Transferring model in robotic group
Oleg Sergiyenko, В. М. Карташов, Mykhailo Ivanov, Daniel Hernández‐Balbuena, Vera Tyrsa, Juan Iván Nieto Hipólito
引用数: 8 • 2016
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
引用数: 3 • 2020
Automatic PLC Control Logic Generation Method Based on SysML System Design Model
Bo Ling, Changyong Chu, Chuan Xu
引用数: 2 • 2025
Digital transformation of the educational process in schools of Kazakhstan: the concept of intelligent assistant in school physics curriculum
Victoria Grankina, Irina Krasnikova, Yuliya Smirnova, Irina Kulibaba, V. R. Barinov
引用数: 2 • 2026