![Formal methods / Logic in computer science / Linear algebra / Formal verification / Forcing / Correctness / Constructible universe / Ordinal number / Vector space / Mathematics / Algebra / Theoretical computer science Formal methods / Logic in computer science / Linear algebra / Formal verification / Forcing / Correctness / Constructible universe / Ordinal number / Vector space / Mathematics / Algebra / Theoretical computer science](https://www.pdfsearch.io/img/4df351d5b64008f1c209572f9dad7c63.jpg) Date: 2010-08-13 06:19:51Formal 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,ChristophAdd to Reading ListSource URL: www.informatik.uni-bremen.deDownload Document from Source Website File Size: 518,17 KBShare Document on Facebook
|