1 citations
- Istituto Nazionale di Alta Matematica Francesco SeveriIT2 papers
- Université de DschangCM2 papers
- University of Technology SydneyAU2 papers
- American Institute for Economic ResearchUS1 paper
- Austrian Institute of TechnologyAT1 paper
- Centro Científico Tecnológico - TucumánAR1 paper
- Epistem (United Kingdom)GB1 paper
- ICTP South American Institute for Fundamental Research1 paper
- Leiden UniversityNL1 paper
- Scuola Normale SuperioreIT1 paper
- TU WienAT1 paper
- Universidad de Buenos AiresAR1 paper
7 papers
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
Policies for Fair Exchanges of Resources
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta +1
People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper,…
Ultrafilter Extensions for Veltman Semantics
Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo +1
In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM…
Energy-dynamics interplay in temporal networks triggers explosive synchronization
Romuald Mbonwouo, Steve J. Kongni, Sishu Shankar Muni +4
Synchronization in networks of coupled oscillators is a fundamental problem in the study of collective behavior. In this paper, we investigate the synchronization transition in net…
Topological transitions in swarmalators systems
Patrick Louodop, Michael N. Jipdi, Gael R. Simo +6
After its development, the swarmalators model attracted a great deal of attention since it was found to be very suitable to reproduce several behaviors in collective dynamics. Howe…
Community detection in subject-subject networks from psychometrics data
Arianna Armanetti, Luca Cecchetti, Eiko Fried +2
Identifying subgroups of respondents in psychometric data is traditionally addressed with Latent Class Analysis, which requires the number of classes to be specified a priori and c…