Minh-Thai Trinh

About Minh-Thai Trinh

Minh-Thai Trinh, With an exceptional h-index of 9 and a recent h-index of 8 (since 2020), a distinguished researcher at University of Illinois at Urbana-Champaign, specializes in the field of Automated Reasoning, Symbolic Execution, Software Security, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Velocity-and Load-dependent Joint Friction Identification for a 6-DOF Industrial Robot

Actionable artificial intelligence for the future of production

Modeling of temperature-dependent joint friction in industrial robots using neural networks

Development of an Augmented Reality User Interface for Collaborative Robotics in Quality Inspection for Manufacturing

Human Robot Collaborative Assembly Using Behavior Trees and Dynamic Tree Dispatching

Modeling of Load-dependent Friction in Robot Joints Using Long Short-term Memory Networks

Safety of Human-Robot Collaboration within the Internet of Production

Self-optimizing agents using mixed initiative behavior trees

Minh-Thai Trinh Information

University

Position

Research Scientist ADSC at Singapore

Citations(all)

412

Citations(since 2020)

252

Cited By

271

hIndex(all)

9

hIndex(since 2020)

8

i10Index(all)

9

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Minh-Thai Trinh Skills & Research Interests

Automated Reasoning

Symbolic Execution

Software Security

Formal Verification

Top articles of Minh-Thai Trinh

Velocity-and Load-dependent Joint Friction Identification for a 6-DOF Industrial Robot

2024/2/28

Actionable artificial intelligence for the future of production

2023/12/30

Modeling of temperature-dependent joint friction in industrial robots using neural networks

2023/12/11

Development of an Augmented Reality User Interface for Collaborative Robotics in Quality Inspection for Manufacturing

2023/11/23

Human Robot Collaborative Assembly Using Behavior Trees and Dynamic Tree Dispatching

2023/9/26

Modeling of Load-dependent Friction in Robot Joints Using Long Short-term Memory Networks

2023/9/26

Safety of Human-Robot Collaboration within the Internet of Production

2023/7/17

Self-optimizing agents using mixed initiative behavior trees

2023/5/15

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier

Proceedings of the ACM on Programming Languages

2023/4/6

Assistive Robot Teleoperation Using Behavior Trees

arXiv preprint arXiv:2303.05177

2023/3/9

Safe and Flexible Collaborative Assembly Processes Using Behavior Trees and Computer Vision

Intelligent Human Systems Integration (IHSI 2023): Integrating People and Intelligent Systems

2023

Safe and flexible planning of collaborative assembly processes using behavior trees and computer vision

2023

Dynamics modeling of industrial robots using transformer networks

2022/12/5

Neural Network Control of Industrial Robots Using ROS

2022/12/5

Friction Modeling for Structured Learning of Robot Dynamics

2022/10/11

Development of a Framework for Continual Learning in Industrial Robotics

2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)

2022/9/6

Verification of behavior trees using linear constrained horn clauses

2022/9/5

Frequency-based identification routine for the inertial parameters of an industrial robot

2022/8/22

A framework for the classification of human-robot interactions within the internet of production

2022/6/16

Towards a trustworthy semantics-based language framework via proof generation

2021/7

See List of Professors in Minh-Thai Trinh University(University of Illinois at Urbana-Champaign)

Co-Authors

academic-engine