Sarmen Keshishzadeh

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Path Planning Algorithm

Formal Verification

Highly Expressive

Model Theoretic

Top Venues

Formal Aspects Comput.

Publications