Abraham P. Vinod

82 papers A* 3A 2C 18Misc 1Journal 37Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data-driven Spatial Classification using Multi-Arm Bandits for Monitoring with Energy-Constrained Mobile Robots. CoRR Xiaoshan Lin, Siddharth Nayak, Stefano Di Cairano, Abraham P. Vinod
2025	—	`conf`	Dynamic Sensor Scheduling for Spatio-Temporal Monitoring of Water Bodies. CCTA Vedang M. Deshpande, Abraham P. Vinod
2025	A	`conf`	Energy-constrained multi-robot exploration for autonomous map building. IROS Sambhu H. Karumanchi, Bhagawan Rokaha, Alexander Schperberg, Abraham P. Vinod
2025	J	`jnl`	Meta-Learning for Physically-Constrained Neural System Identification. CoRR Ankush Chakrabarty, Gordon Wichern, Vedang M. Deshpande, Abraham P. Vinod, Karl Berntorp, Christopher R. Laughman
2025	J	`jnl`	Meta-learning for physically-constrained neural system identification. Neurocomputing Ankush Chakrabarty, Gordon Wichern, Vedang M. Deshpande, Abraham P. Vinod, Karl Berntorp, Christopher R. Laughman
2025	J	`jnl`	Projection-free computation of robust controllable sets with constrained zonotopes. Autom. Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano
2025	—	`conf`	Set-based lossless convexification for a class of robust nonlinear optimal control problems. CDC Abraham P. Vinod, Abhinav G. Kamath, Avishai Weiss, Stefano Di Cairano
2025	C	`conf`	pycvxset: A Python package for convex set manipulation. ACC Abraham P. Vinod
2024	C	`conf`	Aircraft Approach Management Using Reachability and Dynamic Programming. ACC Abraham P. Vinod, Sachiyo Yamazaki, Ankush Chakrabarty, Nobuyuki Yoshikawa, Stefano Di Cairano
2024	J	`jnl`	Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances. IEEE Trans. Autom. Control. Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2024	C	`conf`	Data-Driven Monitoring with Mobile Sensors and Charging Stations Using Multi-Arm Bandits and Coordinated Motion Planners. ACC Siddharth Nayak, Marcus Greiff, Arvind U. Raghunathan, Stefano Di Cairano, Abraham P. Vinod
2024	J	`jnl`	Decentralized, Safe, Multiagent Motion Planning for Drones Under Uncertainty via Filtered Reinforcement Learning. IEEE Trans. Control. Syst. Technol. Abraham P. Vinod, Sleiman Safaoui, Tyler H. Summers, Nobuyuki Yoshikawa, Stefano Di Cairano
2024	C	`conf`	Decoupled Trajectory Planning for Monitoring UAVs and UGV Carrier by Reachable Sets. ACC Taewan Kim, Abraham P. Vinod, Stefano Di Cairano
2024	—	`conf`	Divert-feasible lunar landing under navigational uncertainty. CDC Yana Lishkova, Abraham P. Vinod, Stefano Di Cairano, Avishai Weiss
2024	—	`conf`	Inscribing and separating an ellipsoid and a constrained zonotope: Applications in stochastic control and centering. CDC Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano
2024	C	`conf`	Leveraging Computational Fluid Dynamics in UAV Motion Planning. ACC Yunshen Huang, Marcus Greiff, Abraham P. Vinod, Stefano Di Cairano
2024	J	`jnl`	Markov Potential Game with Final-time Reach-Avoid Objectives. CoRR Sarah H. Q. Li, Abraham P. Vinod
2024	J	`jnl`	Projection-free computation of robust controllable sets with constrained zonotopes. CoRR Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano
2024	J	`jnl`	Safe Multiagent Motion Planning Under Uncertainty for Drones Using Filtered Reinforcement Learning. IEEE Trans. Robotics Sleiman Safaoui, Abraham P. Vinod, Ankush Chakrabarty, Rien Quirynen, Nobuyuki Yoshikawa, Stefano Di Cairano
2024	J	`jnl`	pycvxset: A Python package for convex set manipulation. CoRR Abraham P. Vinod
2023	C	`conf`	MPC with Integrated Evasive Maneuvers for Failure-safe Automated Driving. ACC Terrence Skibik, Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano
2023	J	`jnl`	On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret. IEEE Trans. Autom. Control. Abraham P. Vinod, Arie Israel, Ufuk Topcu
2023	J	`jnl`	On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2023	J	`jnl`	Physics-Constrained Deep Autoencoded Kalman Filters for Estimating Vapor Compression System States. IEEE Control. Syst. Lett. Vedang M. Deshpande, Ankush Chakrabarty, Abraham P. Vinod, Christopher R. Laughman
2023	C	`conf`	Quadrotor Motion Planning in Stochastic Wind Fields. ACC Marcus Greiff, Abraham P. Vinod, Saleh Nabi, Stefano Di Cairano
2023	J	`jnl`	Safe multi-agent motion planning under uncertainty for drones using filtered reinforcement learning. CoRR Sleiman Safaoui, Abraham P. Vinod, Ankush Chakrabarty, Rien Quirynen, Nobuyuki Yoshikawa, Stefano Di Cairano
2023	J	`jnl`	Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. IEEE Trans. Robotics Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2023	C	`conf`	Sample quantile-based programming for non-convex separable chance constraints. ACC Abraham P. Vinod, Stefano Di Cairano
2023	—	`conf`	Spectrum Sharing-Inspired Safe Motion Planning. ICC Workshops Kyeong Jin Kim, Abraham P. Vinod, Jianlin Guo, Vedang M. Deshpande, Kieran Parsons, Ye Wang
2022	C	`conf`	Blending Controllers via Multi-Objective Bandits. ACC Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu
2022	J	`jnl`	Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients. SIAM J. Optim. Abraham P. Vinod, Arie Israel, Ufuk Topcu
2022	J	`jnl`	On-the-fly control of unknown nonlinear systems with sublinear regret. CoRR Abraham P. Vinod, Arie Israel, Ufuk Topcu
2022	C	`conf`	Robust Model Predictive Control with Data-Driven Koopman Operators. ACC Giorgos Mamakoukas, Stefano Di Cairano, Abraham P. Vinod
2022	A*	`conf`	Safe multi-agent motion planning via filtered reinforcement learning. ICRA Abraham P. Vinod, Sleiman Safaoui, Ankush Chakrabarty, Rien Quirynen, Nobuyuki Yoshikawa, Stefano Di Cairano
2022	J	`jnl`	Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. CoRR Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2022	J	`jnl`	Sensor Selection for Dynamics-Driven User-Interface Design. IEEE Trans. Control. Syst. Technol. Abraham P. Vinod, Adam J. Thorpe, Philip A. Olaniyi, Tyler H. Summers, Meeko M. K. Oishi
2021	—	`conf`	Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty. CDC Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano
2021	J	`jnl`	Lagrangian approximations for stochastic reachability of a target tube. Autom. Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2021	C	`conf`	On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021	Misc	`conf`	Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations. ICASSP Yagiz Savas, Abolfazl Hashemi, Abraham P. Vinod, Brian M. Sadler, Ufuk Topcu
2021	J	`jnl`	Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems. IEEE Trans. Autom. Control. Abraham P. Vinod, Meeko M. K. Oishi
2021	C	`conf`	Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. ACC Shawn Priore, Abraham P. Vinod, Vignesh Sivaramakrishnan, Christopher Petersen, Meeko Oishi
2021	J	`jnl`	Stochastic reachability of a target tube: Theory and computation. Autom. Abraham P. Vinod, Meeko M. K. Oishi
2020	—	`conf`	ARCH-COMP20 Category Report: Stochastic Models. ARCH Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020	J	`jnl`	Blending Controllers via Multi-Objective Bandits. CoRR Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu
2020	J	`jnl`	Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems. CoRR Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2020	C	`conf`	Convexified contextual optimization for on-the-fly control of smooth systems. ACC Abraham P. Vinod, Arie Israel, Ufuk Topcu
2020	A*	`conf`	Near-Optimal Reactive Synthesis Incorporating Runtime Information. ICRA Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020	J	`jnl`	Near-Optimal Reactive Synthesis Incorporating Runtime Information. CoRR Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020	J	`jnl`	On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020	J	`jnl`	On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020	J	`jnl`	Trust-based user-interface design for human-automation systems. CoRR Abraham P. Vinod, Adam J. Thorpe, Philip A. Olaniyi, Tyler H. Summers, Meeko M. K. Oishi
2019	—	`conf`	ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019	—	`conf`	Affine controller synthesis for stochastic reachability via difference of convex programming. CDC Abraham P. Vinod, Meeko M. K. Oishi
2019	—	`conf`	Optimal Coverage Control and Stochastic Multi-Target Tracking. CDC Milad Khaledyan, Abraham P. Vinod, Meeko Oishi, John A. Richards
2019	C	`conf`	Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints. ACC Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019	—	`conf`	Predicting Mode Confusion Through Mixed Integer Linear Programming. CDC Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham P. Vinod, Meeko Oishi, Inseok Hwang
2019	—	`conf`	SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. HSCC Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi
2019	—	`conf`	SReachTools: a MATLAB stochastic reachability toolbox. HSCC Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi
2019	—	`conf`	Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. SNR Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019	—	`conf`	The Maximal Hitting-Time Stochastic Reachability Problem. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2019	C	`conf`	Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. ACC Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
2018	—	`conf`	ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
2018	J	`jnl`	Lagrangian Approximations for Stochastic Reachability of a Target Tube. CoRR Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2018	C	`conf`	Multiple Pursuer-Based Intercept via Forward Stochastic Reachability. ACC Abraham P. Vinod, Baisravan Homchaudhuri, Christoph Hintz, Anup Parikh, Stephen P. Buerger, Meeko M. K. Oishi, Greg Brunson, Shakeeb Ahmad, Rafael Fierro
2018	J	`jnl`	Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles. CoRR Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2018	—	`conf`	Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. HSCC Abraham P. Vinod, Meeko M. K. Oishi
2018	—	`conf`	Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions. CDC Abraham P. Vinod, Sean Rice, Yuanqi Mao, Meeko M. K. Oishi, Behçet Açikmese
2018	J	`jnl`	Stochastic reachability of a target tube: Theory and computation. CoRR Abraham P. Vinod, Meeko M. K. Oishi
2018	J	`jnl`	Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems. CoRR Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmese, Meeko Oishi
2017	C	`conf`	Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. ACC Baisravan Homchaudhuri, Abraham P. Vinod, Meeko M. K. Oishi
2017	A*	`conf`	Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. ICRA Hao-Tien Lewis Chiang, Baisravan Homchaudhuri, Abraham P. Vinod, Meeko Oishi, Lydia Tapia
2017	—	`conf`	Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. HSCC Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2017	J	`jnl`	Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. CoRR Abraham P. Vinod, Meeko M. K. Oishi
2017	J	`jnl`	Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control. Syst. Lett. Abraham P. Vinod, Meeko M. K. Oishi
2017	J	`jnl`	Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods. CoRR Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2017	—	`conf`	Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi
2016	J	`jnl`	Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. CoRR Baisravan Homchaudhuri, Abraham P. Vinod, Meeko M. K. Oishi
2016	J	`jnl`	Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms. CoRR Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi
2016	C	`conf`	User-interface design for MIMO LTI human-automation systems through sensor placement. ACC Abraham P. Vinod, Tyler H. Summers, Meeko M. K. Oishi
2016	A	`conf`	Validation of cognitive models for collaborative hybrid systems with discrete human input. IROS Abraham P. Vinod, Yuqing Tang, Meeko M. K. Oishi, Katia P. Sycara, Christian Lebiere, Michael Lewis
2016	—	`conf`	Viable set approximation for linear-Gaussian systems with unknown, bounded variance. CDC Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi, Richard Scott Erwin

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.