关注
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
在 eecs.berkeley.edu 的电子邮件经过验证 - 首页
标题
引用次数
年份
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
12024
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
22023
Platform-based design for energy systems
M Sulzer, M Wetter, R Mutschler, A Sangiovanni-Vincentelli
Applied Energy 352, 121955, 2023
62023
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
232023
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
822023
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
12023
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
32023
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
52023
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
22023
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
42023
Context-Aided Variable Elimination for Requirement Engineering
I Incer, A Benveniste, RM Murray, A Sangiovanni-Vincentelli, SA Seshia
arXiv preprint arXiv:2305.17596, 2023
12023
Towards Enabling Deployment of Lingua Franca on Distributed Embedded Devices
A Rengarajan, EA Lee, AL Sangiovanni-Vincentelli, M Lohstroh
2023
系统目前无法执行此操作,请稍后再试。
文章 1–20