# Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems

> Research article (Electronic Proceedings in Theoretical Computer Science, 2017) · cited 10× · AI/ML

**Wikidata**: [openalex:W2600306286](https://www.wikidata.org/wiki/openalex:W2600306286)  
**Source**: https://4ort.xyz/entity/towards-probabilistic-formal-modeling-of-robotic-cell-injection-systems