Nikos Archiga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
13
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IVA | On LLM Wizards: Identifying Large Language Models' Behaviors for Wizard of Oz Experiments. | Jingchao Fang, Nikos Archiga, Keiichi Namikoshi, Nayeli Bravo, Candice Hogan, David A. Shamma |
| 2023 | CogSci | Can Behavioral Experts Predict Outcome Heterogeneity? | Rumen Iliev, Alexandre L. S. Filipowicz, Emily Sarah Sumner, Francine Chen, Nikos Archiga, Scott A. Carter, Totte Harinen, Kate A. Sieck, Charlene C. Wu |
| 2023 | MEMOCODE | Robust Testing for Cyber-Physical Systems using Reinforcement Learning. | Xin Qin, Nikos Archiga, Jyotirmoy Deshmukh, Andrew Best |
| 2022 | AISTATS | Second-Order Sensitivity Analysis for Bilevel Optimization. | Robert Dyro, Edward Schmerling, Nikos Archiga, Marco Pavone |
| 2022 | SIGMOD | Finding Label and Model Errors in Perception Data With Learned Observation Assertions. | Daniel Kang, Nikos Archiga, Sudeep Pillai, Peter D. Bailis, Matei Zaharia |
| 2021 | ICLR | Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization. | Kaidi Cao, Yining Chen, Junwei Lu, Nikos Archiga, Adrien Gaidon, Tengyu Ma |
| 2021 | WAFR | Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. | Karen Leung, Nikos Archiga, Marco Pavone |
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2017 | IJCAI | Learning-Based Abstractions for Nonlinear Constraint Solving. | Sumanth Dathathri, Nikos Archiga, Sicun Gao, Richard M. Murray |
| 2017 | ISSRE | Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping. | Siyuan Dai, Joseph Hite, Takato Masuda, Yusuke Kashiba, Nikos Archiga, Shinichi Shiraishi, Scott Eisele, Jason Scott, Ted Bapty |
| 2016 | ICCAD | Efficient statistical validation of machine learning systems for autonomous driving. | Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Archiga, Nobuyuki Tomatsu |
| 2015 | EMSOFT | Forward invariant cuts to simplify proofs of safety. | Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh |
| 2009 | IROS | Building a distributed robot garden. | Nikolaus Correll, Nikos Archiga, Adrienne Bolger, Mario Bollini, Benjamin Charrow, Adam Clayton, Felipe Dominguez, Kenneth Donahue, Samuel Dyar, Luke Johnson, Huan Liu, Alexander Patrikalakis, Timothy Robertson, Jeremy Smith, Daniel E. Soltero, Melissa Tanner, Lauren White, Daniela Rus |