Login / Signup
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic.
Adnan Rashid
Osman Hasan
Published in:
CoRR (2018)
Keyphrases
</>
robotic cell
higher order logic
theorem prover
expert systems
machine learning
bayesian networks
objective function
search space
special case
higher order
manufacturing systems