2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2022
Realizability Problem for Constraint LTL
Ashwin Bhaskar, M. Praveen
Constraint linear-time temporal logic (CLTL) is an extension of LTL that is interpreted on sequences of valuations of variables over an infinite domain. The atomic formulas are int…
cs.LO2022
LTL with Local and Remote Data Constraints
Ashwin Bhaskar
We consider an extension of linear-time temporal logic (LTL) with both local and remote data constraints interpreted over a concrete domain. This extension is a natural extension o…
cs.DB2010★ 2 cited
ETP-Mine: An Efficient Method for Mining Transitional Patterns
B. Kiran Kumar, A. Bhaskar
A Transaction database contains a set of transactions along with items and their associated timestamps. Transitional patterns are the patterns which specify the dynamic behavior of…