Formal Analysis of Robotic Cell Injection Systems using Theorem Proving.
Adnan RashidOsman HasanPublished in: CoRR (2018)
Keyphrases
- theorem proving
- formal analysis
- formal methods
- automated reasoning
- robotic cell
- first order logic
- theorem prover
- consequence finding
- special case
- proof planning
- proof procedure
- automated theorem proving
- geometry theorem proving
- parallel search
- complex systems
- knowledge based systems
- evolutionary algorithm
- expert systems
- machine learning