research
∙
05/15/2023
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation
Emotion regulation is a crucial element in dealing with emotional events...
share
research
∙
11/29/2022
Branch-Well-Structured Transition Systems and Extensions
We propose a relaxation to the definition of a well-structured transitio...
research
∙
10/11/2022
Natural Language Processing for Cognitive Analysis of Emotions
Emotion analysis in texts suffers from two major limitations: annotated ...
research
∙
09/14/2021
Coverability, Termination, and Finiteness in Recursive Petri Nets
In the early two-thousands, Recursive Petri nets have been introduced in...
research
∙
05/14/2021
Bounded Reachability Problems are Decidable in FIFO Machines
The undecidability of basic decision problems for general FIFO machines ...
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
08/07/2020
From Well Structured Transition Systems to Program Verification
We describe the use of the theory of WSTS for verifying programs....
research
∙
10/07/2019
The Well Structured Problem for Presburger Counter Machines
We introduce the well structured problem as the question of whether a mo...
research
∙
08/20/2019
Verification of Flat FIFO Systems
The decidability and complexity of reachability problems and model-check...
research
∙
10/19/2017
