This page shows all presentations of this author published in EasyChair Smart Slide.
FaRM-LTL: a Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade and Piyush Kurur