Complexity of Safety and coSafety Fragments of Linear Temporal Logic

Overview of attention for article published in Proceedings of the AAAI Conference on Artificial Intelligence, June 2023

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 6 Mendeley

So far, Altmetric has seen 1 X post from an account with 305 followers.

@RealAAAI 2023 proceedings are out! Our paper is here: https://t.co/s52YeEZnha This is a staggering 4 months after the conference, and 10 months after the submission deadline. Weren’t conferences supposed to “speedup dissemination”? 1/3

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.