39 citations
- Istituto Nazionale di Fisica Nucleare, Sezione di TriesteIT3 papers
- Universidad de MurciaES3 papers
- University of CalabriaIT3 papers
- University of GlasgowGB3 papers
- Istituto Nazionale di Fisica NucleareIT2 papers
- Parthenope University of NaplesIT2 papers
- University of BolognaIT2 papers
- University of PaduaIT2 papers
- University of TriesteIT2 papers
- University of UdineIT2 papers
- Ben-Gurion University of the NegevIL1 paper
- Ca' Foscari University of VeniceIT1 paper
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 12 cited
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…
cs.FL2012★ 3 cited
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
Marta Capiluppi, Roberto Segala
We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects…