|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier |
On the Formalization of Decentralized Contact Tracing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 65-70, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan |
Symbolic Learning with Interval Temporal Logic: the Case of Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 5-9, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato |
Theorem Proving for Non-normal Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 17-22, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi |
A kernel function for Signal Temporal Logic formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 29-34, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop |
Formal Runtime Monitoring Approaches for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 89-94, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners |
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 59-64, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Andrea Mazzullo, Ana Ozaki |
Finite vs. Infinite Traces in Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 23-27, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giulio Bernardi 0001, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer |
A Language for Timeline-based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 53-58, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Riccardo De Benedictis, Luca Geretti, Andrea Micheli (eds.) |
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina |
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 77-81, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Salvatore La Torre, Gennaro Parlato |
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 47-52, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan |
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 11-15, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Peipei Wu, Yanjun Li |
Reasoning in Multi-Agent Conformant Planning over Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 35-40, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
Bayesian Neural Predictive Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 95-100, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes |
Electricity Network Constraint Management using Individualised Demand Aware Price Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 71-76, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo |
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 83-88, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi |
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 41-46, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|