Bortolussi, L., Cairoli, F., & Paoletti, N. (2023). Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to Appear.
@inproceedings{bortolussi23conformal,
author = {Bortolussi, Luca and Cairoli, Francesca and Paoletti, Nicola},
title = {Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes},
booktitle = {26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear},
year = {2023}
}
Chen, H., Lin, S., Smolka, S. A., & Paoletti, N. (2023). An STL-based Approach to Resilient Control for Cyber-Physical Systems. 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to Appear.
@inproceedings{chen2023stl,
author = {Chen, Hongkai and Lin, Shan and Smolka, Scott A. and Paoletti, Nicola},
title = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
booktitle = {26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear},
year = {2023}
}
Krish, V., Paoletti, N., Smolka, S. A., & Rahmati, A. (2023). Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access, 11, 4992–5003. https://doi.org/10.1109/ACCESS.2022.3233010.
@article{krish22synthesizing,
title = {Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs},
author = {Krish, Veena and Paoletti, Nicola and Smolka, Scott A. and Rahmati, Amir},
year = {2023},
journal = {IEEE Access},
volume = {11},
pages = {4992--5003},
url = {https://doi.org/10.1109/ACCESS.2022.3233010.},
doi = {10.1109/ACCESS.2022.3233010.},
file = {krish22synthesizing.pdf}
}
@inproceedings{cairoli22neural,
author = {Cairoli, Francesca and Paoletti, Nicola and Bortolussi, Luca},
title = {Neural Predictive Monitoring for Collective Adaptive Systems},
booktitle = {ISoLA 2022 Symposium},
series = {LNCS},
volume = {13703},
pages = {30--46},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8_3},
doi = {10.1007/978-3-031-19759-8_3}
}
Chen, H., Lin, S., Smolka, S. A., & Paoletti, N. (2022). An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS 2022, 13465, 117–135. https://doi.org/10.1007/978-3-031-15839-1_7
@inproceedings{chen2022stl,
author = {Chen, Hongkai and Lin, Shan and Smolka, Scott A. and Paoletti, Nicola},
title = {An STL-Based Formulation of Resilience in Cyber-Physical Systems},
booktitle = {FORMATS 2022},
series = {LNCS},
volume = {13465},
pages = {117--135},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1_7},
doi = {10.1007/978-3-031-15839-1_7},
award = {Best Paper Award}
}
Bagga, P., Paoletti, N., & Stathis, K. (2022). Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. 21st International Conference on Autonomous Agents and Multiagent
Systems, AAMAS 2022, 1533–1535. https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1533.pdf
@inproceedings{bagga22deep,
author = {Bagga, Pallavi and Paoletti, Nicola and Stathis, Kostas},
title = {Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022},
pages = {1533--1535},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1533.pdf},
doi = {10.5555/3535850.3536025}
}
Chen, H., Paoletti, N., Smolka, S. A., & Lin, S. (2021). MPC-guided Imitation Learning of Bayesian Neural Network Policies
for the Artificial Pancreas. 60th IEEE Conference on Decision and Control (CDC 2021), 2525–2532. https://doi.org/10.1109/CDC45484.2021.9683240
@inproceedings{chen2020mpcguided,
author = {Chen, Hongkai and Paoletti, Nicola and Smolka, Scott A. and Lin, Shan},
title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies
for the Artificial Pancreas},
booktitle = {60th IEEE Conference on Decision and Control (CDC 2021)},
pages = {2525--2532},
publisher = {IEEE},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683240},
doi = {10.1109/CDC45484.2021.9683240}
}
Bagga, P., Paoletti, N., Alrayes, B., & Stathis, K. (2021). ANEGMA: an automated negotiation model for e-markets. Autonomous Agents and Multi-Agent Systems, 35(2), 27. https://doi.org/10.1007/s10458-021-09513-x
@article{bagga2021anegma,
title = {ANEGMA: an automated negotiation model for e-markets},
author = {Bagga, Pallavi and Paoletti, Nicola and Alrayes, Bedour and Stathis, Kostas},
year = {2021},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {35},
number = {2},
pages = {27},
url = {https://doi.org/10.1007/s10458-021-09513-x},
doi = {10.1007/s10458-021-09513-x}
}
Wicker, M., Laurenti, L., Patane, A., Paoletti, N., Abate, A., & Kwiatkowska, M. (2021). Certification of Iterative Predictions in Bayesian Neural Networks. Uncertainty in Artificial Intelligence (UAI 2021), 161, 1713–1723. https://proceedings.mlr.press/v161/wicker21a.html
@inproceedings{wicker2021certification,
title = {Certification of Iterative Predictions in Bayesian Neural Networks},
author = {Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Paoletti, Nicola and Abate, Alessandro and Kwiatkowska, Marta},
year = {2021},
booktitle = {Uncertainty in Artificial Intelligence (UAI 2021)},
series = {Proceedings of Machine Learning Research},
volume = {161},
pages = {1713--1723},
url = {https://proceedings.mlr.press/v161/wicker21a.html}
}
Cairoli, F., Bortolussi, L., & Paoletti, N. (2021). Neural Predictive Monitoring Under Partial Observability. Runtime Verification, 12974, 121–141. https://doi.org/10.1007/978-3-030-88494-9_7
@inproceedings{cairoli21neural,
author = {Cairoli, Francesca and Bortolussi, Luca and Paoletti, Nicola},
title = {Neural Predictive Monitoring Under Partial Observability},
booktitle = {Runtime Verification},
series = {LNCS},
volume = {12974},
pages = {121--141},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9_7},
doi = {10.1007/978-3-030-88494-9_7}
}
LaMalfa, E., Zbrzezny, A., Michelmore, R., Paoletti, N., & Kwiatkowska, M. (2021). On Guaranteed Optimal Robust Explanations for NLP Models. International Joint Conference on Artificial Intelligence (IJCAI 2021), 2658–2665. https://doi.org/10.24963/ijcai.2021/366
@inproceedings{lamalfa2021guaranteed,
title = {On Guaranteed Optimal Robust Explanations for NLP Models},
author = {LaMalfa, Emanuele and Zbrzezny, Agnieszka and Michelmore, Rhiannon and Paoletti, Nicola and Kwiatkowska, Marta},
year = {2021},
booktitle = {International Joint Conference on Artificial Intelligence (IJCAI 2021)},
pages = {2658--2665},
url = {https://doi.org/10.24963/ijcai.2021/366},
doi = {10.24963/ijcai.2021/366}
}
Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2021). Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal on Software Tools for Technology Transfer, to Appear, 23(4), 615–640. https://doi.org/10.1007/s10009-021-00623-1
@article{bortolussi2020neural,
title = {Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches},
author = {Bortolussi, Luca and Cairoli, Francesca and Paoletti, Nicola and Smolka, Scott A. and Stoller, Scott D.},
journal = {International Journal on Software Tools for Technology Transfer, to appear},
volume = {23},
number = {4},
pages = {615--640},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00623-1},
doi = {10.1007/s10009-021-00623-1}
}
Bagga, P., Paoletti, N., & Stathis, K. (2021). Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2021), 1–6. https://doi.org/10.1109/FUZZ45933.2021.9494429
@inproceedings{bagga2021pareto,
title = {Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty},
author = {Bagga, Pallavi and Paoletti, Nicola and Stathis, Kostas},
year = {2021},
booktitle = {IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2021)},
pages = {1--6},
url = {https://doi.org/10.1109/FUZZ45933.2021.9494429},
doi = {10.1109/FUZZ45933.2021.9494429}
}