Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. Greenman, B., Prasad, S., Di Stasio, A., Zhu, S., De Giacomo, G., Krishnamurthi, S., Montali, M., Nelson, T., & Zizyte, M. In FM 2024, pages to appear, 2024. bibtex @inproceedings{FM24,
author = {Ben Greenman and Siddhartha Prasad and Antonio {Di Stasio} and Shufang Zhu and Giuseppe {De Giacomo} and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte},
title = {Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic},
booktitle ={FM 2024},
pages = {to appear},
year = {2024}
}
Downloads: 0
{"_id":"5oBR4FeuPPBJqjJHn","bibbaseid":"greenman-prasad-distasio-zhu-degiacomo-krishnamurthi-montali-nelson-etal-misconceptionsinfinitetraceandinfinitetracelineartemporallogic-2024","author_short":["Greenman, B.","Prasad, S.","Di Stasio, A.","Zhu, S.","De Giacomo, G.","Krishnamurthi, S.","Montali, M.","Nelson, T.","Zizyte, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ben"],"propositions":[],"lastnames":["Greenman"],"suffixes":[]},{"firstnames":["Siddhartha"],"propositions":[],"lastnames":["Prasad"],"suffixes":[]},{"firstnames":["Antonio"],"propositions":[],"lastnames":["Di Stasio"],"suffixes":[]},{"firstnames":["Shufang"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Shriram"],"propositions":[],"lastnames":["Krishnamurthi"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]},{"firstnames":["Tim"],"propositions":[],"lastnames":["Nelson"],"suffixes":[]},{"firstnames":["Milda"],"propositions":[],"lastnames":["Zizyte"],"suffixes":[]}],"title":"Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic","booktitle":"FM 2024","pages":"to appear","year":"2024","bibtex":"@inproceedings{FM24,\n\tauthor = {Ben Greenman and Siddhartha Prasad and Antonio {Di Stasio} and Shufang Zhu and Giuseppe {De Giacomo} and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte},\n\ttitle = {Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic},\n\tbooktitle ={FM 2024},\n \tpages = {to appear},\n\tyear = {2024}\n}\n\n\n","author_short":["Greenman, B.","Prasad, S.","Di Stasio, A.","Zhu, S.","De Giacomo, G.","Krishnamurthi, S.","Montali, M.","Nelson, T.","Zizyte, M."],"key":"FM24","id":"FM24","bibbaseid":"greenman-prasad-distasio-zhu-degiacomo-krishnamurthi-montali-nelson-etal-misconceptionsinfinitetraceandinfinitetracelineartemporallogic-2024","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib","dataSources":["z68fXjfDFHo3BzBEe"],"keywords":[],"search_terms":["misconceptions","finite","trace","infinite","trace","linear","temporal","logic","greenman","prasad","di stasio","zhu","de giacomo","krishnamurthi","montali","nelson","zizyte"],"title":"Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic","year":2024}