48 citations · 207 across the 23 of their papers we have counts for
25 papers
Introducing Divergence for Infinite Probabilistic Models
Alain Finkel, Serge Haddad, Lina Ye
Computing the reachability probability in infinite state probabilistic models has been the topic of numerous works. Here we introduce a new property called \emph{divergence} that w…
About Decisiveness of Dynamic Probabilistic Models
Alain Finkel, Serge Haddad, Lina Ye
Decisiveness of infinite Markov chains with respect to some (finite or infinite) target set of states is a key property that allows to compute the reachability probability of this…
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation
Gustave Cortal, Alain Finkel, Patrick Paroubek +1
Emotion regulation is a crucial element in dealing with emotional events and has positive effects on mental health. This paper aims to provide a more comprehensive understanding of…
Branch-Well-Structured Transition Systems and Extensions
Benedikt Bollig, Alain Finkel, Amrita Suresh
We propose a relaxation to the definition of well-structured transition systems (\WSTS) while retaining the decidability of boundedness and non-termination. In this class, the well…
Natural Language Processing for Cognitive Analysis of Emotions
Gustave Cortal, Alain Finkel, Patrick Paroubek +1
Emotion analysis in texts suffers from two major limitations: annotated gold-standard corpora are mostly small and homogeneous, and emotion identification is often simplified as a…
Coverability, Termination, and Finiteness in Recursive Petri Nets
Alain Finkel, Serge Haddad, Igor Khmelnitsky
In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessar…