Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Bhaskar, Ashwin"'
Autor:
Bhaskar, Ashwin, Praveen, M.
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 interpreted as constraints on the valuations. The atomic formulas can con
Externí odkaz:
http://arxiv.org/abs/2207.06708
Autor:
Bhaskar, Ashwin
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 of constraint LTL and the Temporal Logic of Repeating Values, which hav
Externí odkaz:
http://arxiv.org/abs/2206.01692
Autor:
Bhaskar A; Rutgers University, School of Arts and Sciences Honors Program, New Brunswick, NJ, 08901, USA., Astrof S; Department of Cell Biology and Molecular Medicine, Cardiovascular Research Institute, Rutgers Biomedical and Health Sciences, 185 South Orange Ave, Newark, NJ, 07103, USA.
Publikováno v:
BioRxiv : the preprint server for biology [bioRxiv] 2024 Sep 15. Date of Electronic Publication: 2024 Sep 15.
