Synthesizing LTL contracts from component libraries using rich counterexamples A Iannopollo, I Incer, AL Sangiovanni-Vincentelli Science of Computer Programming 236, 103116, 2024 | | 2024 |
Generating Probabilistic Scenario Programs from Natural Language K Elmaaroufi, D Shankar, A Cismaru, M Vazquez-Chanlatte, ... arXiv preprint arXiv:2405.03709, 2024 | 1 | 2024 |
Task Distribution Aware Psychomotor Skill Training with Probabilistic Programs and Bayesian Knowledge Tracing in Virtual Reality E Kim, A Sturgis, Z Pardos, K Cui, J Hu, Y Xiao, B Fu, D He, I Gonzalez, ... | | 2024 |
Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning M Theile, H Cao, M Caccamo, AL Sangiovanni-Vincentelli arXiv preprint arXiv:2403.12856, 2024 | | 2024 |
Learning to Generate All Feasible Actions M Theile, D Bernardini, R Trumpp, C Piazza, M Caccamo, ... IEEE Access, 2024 | | 2024 |
Floorplet: Performance-Aware Floorplan Framework for Chiplet Integration S Chen, S Li, Z Zhuang, S Zheng, Z Liang, TY Ho, B Yu, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 2 | 2023 |
Platform-based design for energy systems M Sulzer, M Wetter, R Mutschler, A Sangiovanni-Vincentelli Applied Energy 352, 121955, 2023 | 6 | 2023 |
Reply to Taylor et al. Comment on “Manna et al. SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves. Viruses 2023, 15, 1443” A Manna, D De Forni, M Bartocci, N Pasculli, B Poddesu, F Lista, ... Viruses 15 (10), 2111, 2023 | | 2023 |
Fear-neuro-inspired reinforcement learning for safe autonomous driving X He, J Wu, Z Huang, Z Hu, J Wang, A Sangiovanni-Vincentelli, C Lv IEEE transactions on pattern analysis and machine intelligence, 2023 | 23 | 2023 |
Scenic: A language for scenario specification and data generation DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... Machine Learning 112 (10), 3805-3849, 2023 | 82 | 2023 |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems SJ Yu, I Incer, A Sangiovanni-Vincentelli Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | | 2023 |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts SJ Yu, I Incer, A Sangiovanni-Vincentelli Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | | 2023 |
Some Algebraic Aspects of Assume-Guarantee Reasoning I Incer, A Benveniste, A Sangiovanni-Vincentelli arXiv preprint arXiv:2309.08875, 2023 | 1 | 2023 |
Learning to recharge: UAV coverage path planning through deep reinforcement learning M Theile, H Bayerlein, M Caccamo, AL Sangiovanni-Vincentelli arXiv preprint arXiv:2309.03157, 2023 | 3 | 2023 |
Efficient encodings for scalable exploration of cyber-physical system architectures D Kirov, P Nuzzo, A Sangiovanni-Vincentelli, R Passerone IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 5 | 2023 |
Backdoor Defense with Non-Adversarial Backdoor M Liu, A Sangiovanni-Vincentelli, X Yue arXiv preprint arXiv:2307.15539, 2023 | | 2023 |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... International Conference on Computer Aided Verification, 253-265, 2023 | 2 | 2023 |
SARS-CoV-2 inactivation in aerosol by means of radiated microwaves A Manna, D De Forni, M Bartocci, N Pasculli, B Poddesu, F Lista, ... Viruses 15 (7), 1443, 2023 | 4 | 2023 |
Context-Aided Variable Elimination for Requirement Engineering I Incer, A Benveniste, RM Murray, A Sangiovanni-Vincentelli, SA Seshia arXiv preprint arXiv:2305.17596, 2023 | 1 | 2023 |
Towards Enabling Deployment of Lingua Franca on Distributed Embedded Devices A Rengarajan, EA Lee, AL Sangiovanni-Vincentelli, M Lohstroh | | 2023 |