Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving.

Adnan Rashid Osman Hasan

Published in: CyPhy (2017)

Keyphrases

theorem proving
formal analysis
robotic cell
formal methods
automated reasoning
first order logic
theorem prover
parallel search
complex systems
agent model
proof procedure
automated theorem proving
term rewriting
machine learning
proof planning