Model-checking is a methodology developed in computer science to automatically assess
the dynamics of discrete systems, by checking if a system modelled as a state-transition …

The move toward an ecosystem-based fisheries management (EBFM) requires new
operational tools in order to support management decisions. Among them, ecosystem-and …

Timed automata are state-machine-like structures used to model real-time systems. Since
their invention in the early 1990s, a number of often subtly differing variants have appeared …

The main objective of this study is to identify grassland management practices using time
series of remote sensing images. The accelerating agricultural intensification has strongly …

In this paper, we assess the regrowth capacity of tropical forest plots by developing an
original computational procedure based on statistical model checking methods. We calibrate …

To understand and manage (social-) ecological systems, we need an intuitive and rigorous
way to represent them. Recent ecological studies propose to represent interaction networks …

United Nations have declared the current decade (2021-2030) as the" UN Decade on
Ecosystem Restoration" to join R\&D forces to fight against the ongoing environmental crisis …

This work stems on the idea that timed automata models and model-checking techniques
may bring much in a decision-aid context when dealing with large and interacting qualitative …

Scientists and managers are not the only holders of knowledge regarding environmental
issues: other stakeholders such as farmers or fishers do have empirical and relevant …

Mobile automated systems, such as robots or machinery for precision agriculture, may be
designed to perform actions that vary in space according to information from sensors or to a …