Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis

Overview of attention for article published in Software and Systems Modeling, August 2023

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 1 Mendeley

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

#OnlineFirst Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari & Stefano Tonetta https://t.co/grR0hDVrN9

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