Ankesh Khandelwal

Ankesh Khandelwal

Thesis Defense - March 29, 2013

"Furthering the Continuous-Change Event Calculus: Providing for Efficient Description of Additive Effects and an Automated Reasoner"