Fakhteh Soltani

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Rule Based Expert Systems

Automated Verification

Linear Temporal Logic

Top Venues

Publications

Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani
Verification of confliction and unreachability in rule-based expert systems with model checking. CoRR (2014)
Fakhteh Soltani, Fatemeh Eskandari, Shadan Golestan
Developing a Gesture-Based Game for Deaf/Mute People Using Microsoft Kinect. CISIS (2012)