On the Formalization of Decentralized Contact Tracing Protocols (English)
Free access
- New search for: Abdulla, P. A.
- New search for: Atig, M. F.
- New search for: Delzanno, G.
- New search for: Montali, M.
- New search for: Sangnier, A.
- New search for: Abdulla, P. A.
- New search for: Atig, M. F.
- New search for: Delzanno, G.
- New search for: Montali, M.
- New search for: Sangnier, A.
In:
2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020
; 65-70
;
2020
- Conference paper / Electronic Resource
-
Title:On the Formalization of Decentralized Contact Tracing Protocols
-
Contributors:Abdulla, P. A. ( author ) / Atig, M. F. ( author ) / Delzanno, G. ( author ) / Montali, M. ( author ) / Sangnier, A. ( author )
-
Conference:Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis ; 2. ; 2020 ; Online
-
Published in:
-
Publisher:
- New search for: [RWTH Aachen]
-
Place of publication:[Aachen, Germany]
-
Publication date:2020
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Verifying Autonomous Robots: Challenges and ReflectionsDixon, Clare et al. | 2020
- 5
-
Symbolic Learning with Interval Temporal Logic: the Case of RegressionLucena-Sanchez, Estrella / Sciavicco, Guido / Stan, Ionel Eduard et al. | 2020
- 11
-
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model CheckingMonica, Dario Della / Montanari, Angelo / Sciavicco, Guido / Stan, Ionel Eduard et al. | 2020
- 17
-
Theorem Proving for Non-normal Modal LogicsDalmonte, Tiziano / Negri, Sara / Olivetti, Nicola / Pozzato, Gian Luca et al. | 2020
- 23
-
Finite vs. Infinite Traces in Temporal LogicsArtale, Alessandro / Mazzullo, Andrea / Ozaki, Ana et al. | 2020
- 29
-
A kernel function for Signal Temporal Logic formulaeBortolussi, Luca / Gallo, Giuseppe Maria / Nenzi, Laura et al. | 2020
- 35
-
Reasoning in Multi-Agent Conformant Planning over Transition SystemsWu, Peipei / Li, Yanjun et al. | 2020
- 41
-
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial IntelligenceChen, Qian Matteo / Mancini, Toni / Melatti, Igor / Tronci, Enrico / Finzi, Alberto et al. | 2020
- 47
-
A Fixed-point Model-checker for BDI Logics over Finite-state WorldsTorre, Salvatore La / Parlato, Gennaro et al. | 2020
- 53
-
A Language for Timeline-based PlanningBernardi, Giulio / Cesta, Amedeo / Orlandini, Andrea / Umbrico, Alessandro / Mayer, Marta Cialdea et al. | 2020
- 59
-
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical TrialsSinisi, S. / Alimguzhin, V. / Mancini, T. / Tronci, E. / Mari, F. / Leeners, B. et al. | 2020
- 65
-
On the Formalization of Decentralized Contact Tracing ProtocolsAbdulla, P. A. / Atig, M. F. / Delzanno, G. / Montali, M. / Sangnier, A. et al. | 2020
- 71
-
Electricity Network Constraint Management using Individualised Demand Aware Price PoliciesMelatti, I. / Alimguzhin, V. / Mari, F. / Prodanovic, M. / Hayes, B. et al. | 2020
- 77
-
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical SystemsBortolussi, Luca / Cairoli, Francesca / Carbone, Ginevra / Franchina, Francesco et al. | 2020
- 83
-
Learning How to Monitor: Pairing Monitoring and Learning for Online System VerificationBrunello, Andrea / Monica, Dario Della / Montanari, Angelo / Urgolo, Andrea et al. | 2020
- 89
-
Formal Runtime Monitoring Approaches for Autonomous VehiclesShankar, Saumya / R, Ujwal V. / Pinisetty, Srinivas / Roop, Partha et al. | 2020
- 95
-
Bayesian Neural Predictive MonitoringBortolussi, Luca / Cairoli, Francesca / Paoletti, Nicola / Smolka, S. A. / Stoller, S. D. et al. | 2020