Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Linear algebra / Formal verification / Forcing / Correctness / Constructible universe / Ordinal number / Vector space / Mathematics / Algebra / Theoretical computer science


Experiences in Applying Formal Verification in Robotics? Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany {Dennis.Walter,Holger.Taeubig,Christoph
Add to Reading List

Document Date: 2010-08-13 06:19:51

Open Document

File Size: 518,17 KB

Share Result on Facebook

/

IndustryTerm

real-world applications / real world applications / collision avoidance algorithm / actual algorithm / software module / robotics algorithms / robotic devices / eligible tool / convex hull algorithm / typical applications / energy consideration / software systems / robotics systems / /

Organization

U.S. Securities and Exchange Commission / German Federal Ministry of Education / /

Person

Christoph Lüth Deutsches Forschungszentrum / Dennis Walter / Holger Täubig / /

/

Position

RT / researcher / is_RT / is-RT / programmer / /

ProgrammingLanguage

C / /

Technology

robotics algorithms / implemented algorithm / laser / verified algorithm / collision avoidance The algorithm / simulation / convex hull algorithm / collision avoidance algorithm / actual algorithm / /

SocialTag