Search for persons
X
?
Lecture Notes in Mechanical Engineering; Proceedings of the International Conference on Advanced Mechanical Engineering, Automation, and Sustainable Development 2021 (AMAS2021) ,
2
A Hybrid Multi-waypoints Path Planning System for Robots wi..:
, In:
?
NODYCON Conference Proceedings Series; Advances in Nonlinear Dynamics ,
3
Vibro-Impact Capsule Under Different Conditions of Friction:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
4
Automated Repair of Heap-Manipulating Programs Using Deduct..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
8
Automatic Program Repair Using Formal Verification and Expr..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
SL-COMP: Competition of Solvers for Separation Logic:
, In:
?
2023 International Joint Conference on Neural Networks (IJCNN) ,
13