Computing Unsatisfiable Cores for LTLf Specifications

Overview of attention for article published in Journal of Artificial Intelligence Research, June 2024

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age
Above-average Attention Score compared to outputs of the same age and source (63rd percentile)

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 2,876 followers.

New Article: "Computing Unsatisfiable Cores for LTLf Specifications" by Roveri, Di Ciccio, Di Francescomarino, and Ghidini https://t.co/Gz1sicfwyf

"Computing unsatisfiable cores for LTLf specifications", Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino… https://t.co/5JYP38HUoA

Computing unsatisfiable cores for LTLf specifications https://t.co/nnkCZb8ndu

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