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