Search Results - formal methods in automation and robotics

On Provably Safe and Live Multirobot Coordination with Online Goal Posting

Authors: Mannucci, Anna Pallottino, Lucia Pecora, Federico

Source: IEEE Transactions on robotics. 37(6):1973-1991

Subject Terms: Formal methods in robotics and automation, intelligent and flexible manufacturing, multirobot systems, planning, scheduling and coordination

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-90584
https://doi.org/10.1109/TRO.2021.3075371

A model-based approach to automation of formal verification of ROS 2-based systems

Authors: Dust, Lukas Gu, Rong Mubeen, Saad et al.

Source: Frontiers in Robotics and AI. 12

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-73778
https://doi.org/10.3389/frobt.2025.1592523

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Authors: Andre Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Kinodynamic Motion Planning via Branch-And-Cut over Probabilistic Roadmaps

Authors: Ramirez, Miquel Selvaratnam, Daniel Manzie, Chris

Source: IEEE Robotics and Automation Letters. 9(1):247-254

Subject Terms: formal methods in robotics and automation, kinematics, Motion and path planning

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340837

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Authors: Zhangli Zhou Ziyang Chen Mingyu Cai et al.

Source: IEEE Transactions on Industrial Electronics, vol PP, iss 99

Subject Terms: Electrical & Electronic Engineering, Engineering, quadruped robot, Data Management and Data Science, Artificial Intelligence, Information and Computing Sciences, Information and computing sciences, Computer vision, linear temporal logic, online motion planning, formal methods in automation and robotics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/02p805kr

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach

Authors: Mohammed Foughali Alexander Zuepke

Source: Frontiers in Robotics and AI, Vol 9 (2022)

Subject Terms: robotics, real-time systems, formal methods, timed automata, locking protocols, Mechanical engineering and machinery, TJ1-1570, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frobt.2022.791757/full; https://doaj.org/toc/2296-9144

Access URL: https://doaj.org/article/32b6134a219e43c6ac14f5696ec47cfe

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles

Authors: Karlsson, Jesper van Waveren, Sanne Pek, Christian et al.

Source: 2021 IEEE International Conference on Robotics and Automation (ICRA) Proceedings - IEEE International Conference on Robotics and Automation. :11262-11268

Subject Terms: Autonomous vehicle navigation, Formal methods in robotics and automation, Human factors, Human-in-the-loop

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-310389
https://kth.diva-portal.org/smash/get/diva2:1649271/FULLTEXT01.pdf

Decomposing user-defined tasks in a reinforcement learning setup using TextWorld

Authors: Thanos Petsanis Christoforos Keroglou Athanasios Ch. Kapoutsis et al.

Source: Frontiers in Robotics and AI, Vol 10 (2023)

Subject Terms: formal methods in robotics and automation, reinforcement learning, hierarchical reinforcement learning, task and motion planning, autonomous agents, Mechanical engineering and machinery, TJ1-1570, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frobt.2023.1280578/full; https://doaj.org/toc/2296-9144

Access URL: https://doaj.org/article/816ddadbba88447998404982588c6077

Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety

Authors: Clara Fischer Michael Neuhold Martin Steiner et al.

Source: IEEE Access, Vol 11, Pp 118395-118413 (2023)

Subject Terms: Industrial robot safety, human-robot collaboration (HRC), formal methods in robotics and automation, power and force limitation, robot collision evaluation, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: https://ieeexplore.ieee.org/document/10292804/; https://doaj.org/toc/2169-3536

Access URL: https://doaj.org/article/f5a436a660c64af0aeec5206a395f157

A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks With Multi-Robot Aerial Systems

Authors: Alvaro Caballero Giuseppe Silano

Source: IEEE Access, Vol 11, Pp 81361-81377 (2023)

Subject Terms: Aerial systems: applications, formal methods in robotics and automation, multi-robot systems, task and motion planning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: https://ieeexplore.ieee.org/document/10197369/; https://doaj.org/toc/2169-3536

Access URL: https://doaj.org/article/c87e75e7ca2b42b0b008a77736dc3bf3

Temporal Logics for Learning and Detection of Anomalous Behavior

Authors: Kong, Zhaodan Jones, Austin Belta, Calin

Source: IEEE Transactions on Automatic Control. 62(3)

Subject Terms: Control Engineering, Mechatronics and Robotics, Engineering, Basic Behavioral and Social Science, Behavioral and Social Science, Anomaly detection, formal methods, learning, networked systems, signal temporal logic, Applied Mathematics, Electrical and Electronic Engineering, Mechanical Engineering, Industrial Engineering & Automation, Control engineering, mechatronics and robotics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/8j0502xs
https://escholarship.org/content/qt8j0502xs/qt8j0502xs.pdf

Guiding Autonomous Exploration with Signal Temporal Logic

Authors: Barbosa, Fernando S. Duberg, Daniel Jensfelt, Patric et al.

Source: IEEE Robotics and Automation Letters. 4(4):3332-3339

Subject Terms: Mapping, motion and path planning, formal methods in robotics and automation, search and rescue robots

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255721

Provably Safe Multi-Robot Coordination With Unreliable Communication

Authors: Mannucci, Anna Pallottino, Lucia Pecora, Federico

Source: IEEE Robotics and Automation Letters. 4(4):3232-3239

Subject Terms: Multi-robot systems, planning, scheduling and coordination, formal methods in robotics and automation

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-75700

Robotic process automation system and method

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Authors: DİLAVER, Hatice DİLAVER, Kamil Fatih

Source: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Subjects: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

ROBOTIC PROCESS AUTOMATION SYSTEM AND METHOD

Certified polyhedral decompositions of collision-free configuration space.

Authors: Dai, Hongkai Amice, Alexandre Werner, Peter et al.

Source: International Journal of Robotics Research. Aug2024, Vol. 43 Issue 9, p1322-1341. 20p.

Subject Terms: *INDUSTRIAL robots, CONFIGURATION space, SEMIDEFINITE programming, KINEMATICS, CONFIGURATIONS (Geometry)

Formal verification of safety properties of epoch processing in Beacon Chain.

Authors: Rashid M Rasool I Afzaal H et al.

Source: Scientific reports [Sci Rep] 2025 Nov 22. Date of Electronic Publication: 2025 Nov 22.

Publication Type: Journal Article

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Hair cortisol concentration of dairy cattle is unrelated to automation level of dairy farms—however, it can reflect Welfare Quality^® measures.

Authors: Lavrijsen-Kromwijk, Lianne Müller, Ute Demba, Susanne et al.

Source: Frontiers in Animal Science. 2025, p1-13. 13p.

On Null Space-Based Inverse Kinematics Techniques for Fleet Management: Toward Time-Varying Task Activation

Authors: Mannucci, Anna Caporale, Danilo Pallottino, Lucia

Source: ILIAD European Project CrossLab Project (Departments of Excellence) IEEE Transactions on robotics. 37(1):257-274

Subject Terms: Formal methods in robotics and automation, motion control, multirobot systems, path planning for multiple mobile robots or agents., Reglerteknik, Automatic Control

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-85803