Login
Talks & Seminars
Title: LTL Can be More Succinct
Dr. A. V. Sreejtih, University of Warsaw
Date & Time: February 13, 2017 14:30
Venue: Lecture Hall, B Block, 03rd Floor, Department of Computer Science and Engineering, Kanwal Rekhi (KReSIT) Building
Abstract:
In this talk, we will look at an extension of LTL using modular counting and a further extension which includes group modalities. We see that the modular counting extension of LTL increases the expressive power. The logic can now talk about "periodic" properties. Moreover, we see that the satisfiability and model checking problem for this logic is in Pspace. Note that this is similar to LTL. We will also look at some interesting sublogics and their model checking problems.
Speaker Profile:
Dr. Sreejith is an assistant professor in the University of Warsaw. He obtained his Ph. D. from the Institute of mathematical sciences, Chennai. His work with Prof. Kamal Lodaya earned him the ACM India best thesis (honorary) award in 2014.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback