180 citations · 186 across the 2 of their papers we have counts for
2 papers
cs.AI2021★ 180 cited
Unraveling the Hidden Environmental Impacts of AI Solutions for Environment
Anne-Laure Ligozat, Julien Lefèvre, Aurélie Bugeau +1
In the past ten years, artificial intelligence has encountered such dramatic progress that it is now seen as a tool of choice to solve environmental issues and in the first place g…
cs.LO2015★ 6 cited
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem +2
We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main…