Logic model

Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas

Citations: 104 • 2013

IDENTIFICATION OF THE MATHEMATICAL MODEL OF AN INSPECTION MOBILE ROBOT WITH FUZZY LOGIC SYSTEMS AND NEURAL NETWORKS

J. Giergiel, Krzysztof Kurc

Citations: 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

Citations: 13 • 2024

Transferring model in robotic group

Oleg Sergiyenko, В. М. Карташов, Mykhailo Ivanov, Daniel Hernández‐Balbuena, Vera Tyrsa, Juan Iván Nieto Hipólito

Citations: 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

Citations: 3 • 2020

Automatic PLC Control Logic Generation Method Based on SysML System Design Model

Bo Ling, Changyong Chu, Chuan Xu

Citations: 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

Citations: 2 • 2026