Ondrej Balun

According to our database, Ondrej Balun authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.

Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016