|
|
|
|
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.  |
OVERLAY  |
2020 |
DBLP BibTeX RDF |
|
| 1 | Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan |
Symbolic Learning with Interval Temporal Logic: the Case of Regression. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato |
Theorem Proving for Non-normal Modal Logics. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi |
A kernel function for Signal Temporal Logic formulae. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop |
Formal Runtime Monitoring Approaches for Autonomous Vehicles. |
OVERLAY |
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. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Andrea Mazzullo, Ana Ozaki |
Finite vs. Infinite Traces in Temporal Logics. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Giulio Bernardi 0001, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer |
A Language for Timeline-based Planning. |
OVERLAY |
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. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina |
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Salvatore La Torre, Gennaro Parlato |
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. |
OVERLAY |
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. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Peipei Wu, Yanjun Li |
Reasoning in Multi-Agent Conformant Planning over Transition Systems. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
| 1 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
Bayesian Neural Predictive Monitoring. |
OVERLAY |
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. |
OVERLAY |
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. |
OVERLAY |
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. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license