activity
20172021
most citedSystematic Testing of Convolutional Neural Networks for Autonomous Driving

34 citations · 86 across the 12 of their papers we have counts for

collaborators

22 papers

cs.LG20211 cited

Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data

Hari Prasanna Das, Ryan Tran, Japjot Singh +4

At the onset of a pandemic, such as COVID-19, data with proper labeling/attributes corresponding to the new disease might be unavailable or sparse. Machine L…

cs.MA2021

A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions

Corvin Deboeser, Jordan Ivanchev, Thomas Braud +3

This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has bee…

cs.AI2020

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

Jay Shenoy, Edward Kim, Xiangyu Yue +4

Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, suc…

cs.CV20203 cited

Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation

Sicheng Zhao, Xuanbai Chen, Xiangyu Yue +7

Thanks to large-scale labeled training data, deep neural networks (DNNs) have obtained remarkable success in many vision and multimedia tasks. However, because of the presence of d…

cs.PL2020

Scenic: A Language for Scenario Specification and Data Generation

Daniel J. Fremont, Edward Kim, Tommaso Dreossi +4

We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. Specifically, we consider the…

cs.DM20204 cited

The Quotient in Preorder Theories

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa +1

Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called…