Salman Omar Sohail

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Symbolic Execution

Simulated Robot

Condition Action Rules

Robot Navigation

Top Venues

Publications

Salman Omar Sohail, Sven Schneider, Nico Hochgeschwender
Automated Testing of Standard Conformance for Robots. CASE (2023)
Salman Omar Sohail, Alex Mitrevski, Nico Hochgeschwender, Paul G. Plöger
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation. CoRR (2021)
Salman Omar Sohail, Alex Mitrevski, Nico Hochgeschwender, Paul G. Plöger
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation. ECMR (2021)