( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

, , , , , , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 253-265. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , und . CCNC, Seite 325-329. IEEE, (2006)Uniprocessor scheduling under precedence constraints for embedded systems design., , , und . ACM Trans. Embed. Comput. Syst., 7 (1): 6:1-6:30 (2007)Probabilistic Dynamic Hard Real-Time Scheduling in HPC., , , und . CoRR, (2019)Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation., , , , , , , , , und . CoRR, (2020)A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies., , , , und . CoRR, (2023)Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning., , , und . CoRR, (2023)Learning to Generate All Feasible Actions., , , , , und . CoRR, (2023)Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving., , , , , , und . IEEE Trans. Pattern Anal. Mach. Intell., 46 (1): 267-279 (Januar 2024)Analog System Verification in the Presence of Parasitics Using Behavioral Simulation., , und . DAC, Seite 159-163. ACM Press, (1993)Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design., , , , und . DAC, Seite 227-232. ACM Press, (1996)