Forrest Laine

38 papers A* 4A 2Journal 25Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A conf
An Application of SAT Solvers in Integer Programming Games.
SAT
Pravesh Koirala, Aditya Shrey, Forrest Laine
2025 A* conf
Does Bilevel Optimization Result in More Competitive Racing Behavior?
ICRA
Andrew Cinar, Forrest Laine
2025 J jnl
Locally Optimal Solutions for Integer Programming Games.
CoRR
Pravesh Koirala, Mel Krusniak, Forrest Laine
2025 A conf
Online Competitive Information Gathering for Partially Observable Trajectory Games.
AAMAS
Mel Krusniak, Hang Xu, Parker Palermo, Forrest Laine
2025 J jnl
Online Competitive Information Gathering for Partially Observable Trajectory Games.
CoRR
Mel Krusniak, Hang Xu, Parker Palermo, Forrest Laine
2025 A* conf
Polyhedral Collision Detection via Vertex Enumeration.
ICRA
Andrew Cinar, Yue Zhao, Forrest Laine
2025 J jnl
Polyhedral Collision Detection via Vertex Enumeration.
CoRR
Andrew Cinar, Yue Zhao, Forrest Laine
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst.
Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst.
Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024 — conf
Algorithmic Collusion in a Two-Sided Market: A Rideshare Example.
ITSC
Pravesh Koirala, Forrest Laine
2024 J jnl
Algorithmic collusion in a two-sided market: A rideshare example.
CoRR
Pravesh Koirala, Forrest Laine
2024 J jnl
Contingency Games for Multi-Agent Interaction.
IEEE Robotics Autom. Lett.
Lasse Peters, Andrea Bajcsy, Chih-Yuan Chiu, David Fridovich-Keil, Forrest Laine, Laura Ferranti, Javier Alonso-Mora
2024 J jnl
Decreasing Wages in Gig Economy: A Game Theoretic Explanation Using Mathematical Program Networks.
CoRR
Pravesh Koirala, Forrest Laine
2024 J jnl
Does bilevel optimization result in more competitive racing behavior?
CoRR
Andrew Cinar, Forrest Laine
2024 — conf
Locally Optimal Solutions for Integer Programming Games in Cybersecurity.
GameSec (1)
Pravesh Koirala, Mel Krusniak, Forrest Laine
2024 J jnl
Mixed Strategy Constraints in Continuous Games.
CoRR
Mel Krusniak, Forrest Laine
2023 J jnl
A trainable manifold for accurate approximation with ReLU Networks.
CoRR
Max Milkert, Forrest Laine
2023 J jnl
Contingency Games for Multi-Agent Interaction.
CoRR
Lasse Peters, Andrea Bajcsy, Chih-Yuan Chiu, David Fridovich-Keil, Forrest Laine, Laura Ferranti, Javier Alonso-Mora
2023 J jnl
Monte Carlo Optimization for Solving Multilevel Stackelberg Games.
CoRR
Pravesh Koirala, Forrest Laine
2023 J jnl
QTOS: An Open-Source Quadruped Trajectory Optimization Stack.
CoRR
Alexy Skoutnev, Andrew Cinar, Praful Sigdel, Forrest Laine
2023 J jnl
The Computation of Approximate Generalized Feedback Nash Equilibria.
SIAM J. Optim.
Forrest Laine, David Fridovich-Keil, Chih-Yuan Chiu, Claire J. Tomlin
2022 — conf
Learning Mixed Strategies in Trajectory Games.
Robotics: Science and Systems
Lasse Peters, David Fridovich-Keil, Laura Ferranti, Cyrill Stachniss, Javier Alonso-Mora, Forrest Laine
2022 J jnl
Learning Mixed Strategies in Trajectory Games.
CoRR
Lasse Peters, David Fridovich-Keil, Laura Ferranti, Cyrill Stachniss, Javier Alonso-Mora, Forrest Laine
2021 — —
Connected Quadratic Programs for Autonomy
Forrest Laine
2021 J jnl
Incorporating Data Uncertainty in Object Tracking Algorithms.
CoRR
Anish Muthali, Forrest Laine, Claire J. Tomlin
2021 A* conf
Multi-Hypothesis Interactions in Game-Theoretic Motion Planning.
ICRA
Forrest Laine, David Fridovich-Keil, Chih-Yuan Chiu, Claire J. Tomlin
2021 J jnl
The Computation of Approximate Generalized Feedback Nash Equilibria.
CoRR
Forrest Laine, David Fridovich-Keil, Chih-Yuan Chiu, Claire J. Tomlin
2020 J jnl
Eyes-Closed Safety Kernels: Safety for Autonomous Systems Under Loss of Observability.
CoRR
Forrest Laine, Chih-Yuan Chiu, Claire J. Tomlin
2020 — conf
Eyes-Closed Safety Kernels: Safety of Autonomous Systems Under Loss of Observability.
Robotics: Science and Systems
Forrest Laine, Chih-Yuan Chiu, Claire J. Tomlin
2020 J jnl
Multi-Hypothesis Interactions in Game-Theoretic Motion Planning.
CoRR
Forrest Laine, David Fridovich-Keil, Chih-Yuan Chiu, Claire J. Tomlin
2020 J jnl
Testing for Typicality with Respect to an Ensemble of Learned Distributions.
CoRR
Forrest Laine, Claire J. Tomlin
2019 A* conf
Efficient Computation of Feedback Control for Equality-Constrained LQR.
ICRA
Forrest Laine, Claire J. Tomlin
2019 — conf
Parallelizing LQR Computation Through Endpoint-Explicit Riccati Recursion.
CDC
Forrest Laine, Claire J. Tomlin
2019 J jnl
Real-time Funnel Generation for Restricted Motion Planning.
CoRR
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia
2018 J jnl
Efficient Computation of Feedback Control for Constrained Systems.
CoRR
Forrest Laine, Claire J. Tomlin
2018 J jnl
The Parallelization of Riccati Recursion.
CoRR
Forrest Laine, Claire J. Tomlin
2016 J jnl
Learning Quadrotor Dynamics Using Neural Network for Flight Control.
CoRR
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin
2016 — conf
Learning quadrotor dynamics using neural network for flight control.
CDC
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin