Zachary Serlin

31 papers A* 2A 1C 4Journal 21Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. L4DC Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025	J	`jnl`	From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy. CoRR Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025	J	`jnl`	From abstraction to reality: DARPA's vision for robust sim-to-real autonomy. AI Mag. Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025	A	`conf`	MAGNET: A Multi-Agent Graph Neural Network for Efficient Bipartite Task Assignment. AAMAS Donald Loveland, James Usevitch, Zachary Serlin, Danai Koutra, Rajmonda Caceres
2025	J	`jnl`	PRISM: Complete Online Decentralized Multi-Agent Pathfinding with Rapid Information Sharing using Motion Constraints. CoRR Hannah Lee, Zachary Serlin, James Motes, Brendan Long, Marco Morales, Nancy M. Amato
2025	J	`jnl`	SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations. CoRR Peter Crowley, Zachary Serlin, Tyler M. Paine, Makai Mann, Michael R. Benjamin, Calin Belta
2025	J	`jnl`	Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime. IEEE Robotics Autom. Lett. Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2025	J	`jnl`	Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL. CoRR Songyuan Zhang, Oswin So, Mitchell Black, Zachary Serlin, Chuchu Fan
2024	J	`jnl`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. CoRR Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024	J	`jnl`	Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions. CoRR Jordan Beason, Michael Novitzky, John Kliem, Tyler Errico, Zachary Serlin, Kevin Becker, Tyler M. Paine, Michael R. Benjamin, Prithviraj Dasgupta, Peter Crowley, Charles O'Donnell, John James
2024	A*	`conf`	How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions. CoRR Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2024	A*	`conf`	Run-Time Task Composition with Safety Semantics. ICML Kevin Leahy, Makai Mann, Zachary Serlin
2024	J	`jnl`	Temporal Logic Planning via Zero-Shot Policy Composition. CoRR Taylor Bergeron, Zachary Serlin, Kevin Leahy
2023	—	`conf`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	J	`jnl`	How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2023	C	`conf`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023	C	`conf`	Robust Multi-Agent Coordination from CaTL+ Specifications. ACC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	J	`jnl`	Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR Kevin Leahy, Makai Mann, Zachary Serlin
2022	J	`jnl`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	J	`jnl`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022	J	`jnl`	Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
2022	J	`jnl`	Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	J	`jnl`	Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
2020	J	`jnl`	Distributed and consistent multi-image feature matching via QuickMatch. Int. J. Robotics Res. Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2019	J	`jnl`	A formal methods approach to interpretable reinforcement learning for robotic planning. Sci. Robotics Xiao Li, Zachary Serlin, Guang Yang, Calin Belta
2019	J	`jnl`	Distributed and Consistent Multi-Image Feature Matching via QuickMatch. CoRR Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2019	J	`jnl`	Sampling-based Motion Planning via Control Barrier Functions. CoRR Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron
2019	C	`conf`	ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
2018	—	`conf`	Consistent Multi-robot Object Matching via QuickMatch. ISER Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron
2016	C	`conf`	A Level Set Approach to Simulating Xenopus laevis Tail Regeneration. ALIFE Michael Levin, Jason H. Rife, Zachary Serlin

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.