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
- Complexity Science HubAT1 paper
- Epistem (United Kingdom)GB1 paper
- ICTP South American Institute for Fundamental Research1 paper
- Leiden UniversityNL1 paper
- Scuola Normale SuperioreIT1 paper
- TU WienAT1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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,…