Switching in nonminimum phase systems: applications to a VSTOL aircraft. - Meeko Oishi; Claire J. Tomlin (ACC, 2000)

Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. - Meeko Oishi; Claire J. Tomlin; Vipin Gopal; Datta N. Godbole (HSCC, 2001)

Hybrid verification of an interface for an automatic landing. - Meeko Oishi; Ian Mitchell 001; Alexandre M. Bayen; Claire J. Tomlin; Asaf Degani (CDC, 2002)

Interface Verification: Discrete Abstractions of Hybrid Systems. - Meeko Oishi (SARA, 2002)

Immediate observability of discrete event systems with application to user-interface design. - Meeko Oishi; Inseok Hwang 002; Claire J. Tomlin (CDC, 2003)

Computational techniques for the verification of hybrid systems. - Claire J. Tomlin; Ian Mitchell 001; Alexandre M. Bayen; Meeko Oishi (Proc. IEEE, 2003)

Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation. - Meeko Oishi; Ian Mitchell 001; Claire J. Tomlin; Patrick Saint-Pierre (CDC, 2006)

Towards Provably Safe Control for Smart Wheelchairs. - Meeko Oishi; Nikolai Matni (AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems, 2008)

Reachability-based abstraction for an aircraft landing under shared control. - Nikolai Matni; Meeko Oishi (ACC, 2008)

Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design. - Meeko Oishi; Ian M. Mitchell; Alexandre M. Bayen; Claire J. Tomlin (IEEE Trans. Control. Syst. Technol., 2008)

Schur-based decomposition for reachability analysis of linear time-invariant systems. - Shahab Kaynama; Meeko Oishi (CDC, 2009)

Reachability analysis for continuous systems under shared control: Application to user-interface design. - Nikolai Matni; Meeko Oishi (CDC, 2009)

Overapproximating the reachable sets of LTI systems through a similarity transformation. - Shahab Kaynama; Meeko Oishi (ACC, 2010)

Mode Detection in switched pursuit tracking tasks: Hybrid estimation to measure performance in Parkinson's disease. - Meeko M. K. Oishi; Ahmad Ashoori; Martin J. McKeown (CDC, 2010)

Stability of switched block upper-triangular linear systems with switching delay: Application to large distributed systems. - Nikolai Matni; Meeko Oishi (ACC, 2011)

The continual reachability set and its computation using maximal reachability techniques. - Shahab Kaynama; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (CDC/ECC, 2011)

Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control. - Neda Eskandari; Meeko M. K. Oishi (SMC, 2011)

Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. - Shahab Kaynama; Meeko Oishi (Int. J. Control, 2011)

Ensuring Safety of Nonlinear Sampled Data Systems through Reachability1. - Ian M. Mitchell; Mo Chen; Meeko Oishi (ADHS, 2012)

Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. - Shahab Kaynama; Meeko M. K. Oishi; Ian M. Mitchell; Guy Albert Dumont (ACC, 2012)

Computing the viability kernel using maximal reachable sets. - Shahab Kaynama; John N. Maidens; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (HSCC, 2012)

Stochastic reachability for control of spacecraft relative motion. - Kendra Lesser; Meeko M. K. Oishi; Richard Scott Erwin (CDC, 2013)

Lagrangian methods for approximating the viability kernel in high-dimensional systems. - John N. Maidens; Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (Autom., 2013)

A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. - Shahab Kaynama; Meeko Oishi (IEEE Trans. Autom. Control., 2013)

Towards a Cognitively-Based Analytic Model of Human Control of Swarms. - Seyed Behzad Tabibian; Michael Lewis 001; Christian Lebiere; Nilanjan Chakraborty; Katia P. Sycara; Stefano Bennati; Meeko Oishi (AAAI Spring Symposia, 2014)

Notch filter and MPC for powered wheelchair operation under Parkinson's tremor. - Richard T. Meyer; Fabian Just; Raymond A. DeCarlo; Milos Zefran; Meeko Oishi (ACC, 2014)

Assessing information availability for user-interfaces of shared control systems under reference tracking. - Meeko M. K. Oishi (ACC, 2014)

Using linear system reliability to obtain theoretical understanding of wireless routing. - Trisha Biswas; Kendra Lesser; Rudra Dutta; Meeko M. K. Oishi (GLOBECOM, 2014)

Examining reliability of wireless multihop network routing with linear systems. - Trisha Biswas; Kendra Lesser; Rudra Dutta; Meeko M. K. Oishi (HotSoS, 2014)

Stochastic reachability based motion planning for multiple moving obstacle avoidance. - Nick Malone; Kendra Lesser; Meeko M. K. Oishi; Lydia Tapia (HSCC, 2014)

Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. - Hao-Tien Chiang; Nick Malone; Kendra Lesser; Meeko M. K. Oishi; Lydia Tapia (WAFR, 2014)

Reachability for partially observable discrete time stochastic hybrid systems. - Kendra Lesser; Meeko Oishi (Autom., 2014)

Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems. - Kendra Lesser; Meeko M. K. Oishi (CoRR, 2014)

A Novel Use of Transfer Function Estimation for Early Assessment of Brain Injury Outcome. - Daniel Svenkeson; Bobby Sena; Meeko Oishi; Suguna Pappu; Howard Yonas (IEEE Trans. Biomed. Eng., 2014)

Detection of manual tracking submovements in Parkinson's disease through hybrid optimization. - Carlos Gonzalez; Daniel Svenkeson; Diana Kim; Martin J. McKeown; Meeko Oishi (ADHS, 2015)

Lift of a cable-suspended load by a quadrotor: A hybrid system approach. - Patricio Cruz; Meeko Oishi; Rafael Fierro (ACC, 2015)

Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding. - Kendra Lesser; Meeko M. K. Oishi (ACC, 2015)

Finite state approximation for verification of partially observable stochastic hybrid systems. - Kendra Lesser; Meeko Oishi (HSCC, 2015)

Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments. - Hao-Tien Chiang; Nick Malone; Kendra Lesser; Meeko Oishi; Lydia Tapia (ICRA, 2015)

Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. - Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (IEEE Trans. Autom. Control., 2015)

User-interface design for MIMO LTI human-automation systems through sensor placement. - Abraham P. Vinod; Tyler H. Summers; Meeko M. K. Oishi (ACC, 2016)

Viable set approximation for linear-Gaussian systems with unknown, bounded variance. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi; Richard Scott Erwin (CDC, 2016)

Computing reach-avoid sets for space vehicle docking under continuous thrust. - Baisravan HomChaudhuri; Meeko Oishi; Matt Shubert; Morgan Baldwin; Richard Scott Erwin (CDC, 2016)

Validation of cognitive models for collaborative hybrid systems with discrete human input. - Abraham P. Vinod; Yuqing Tang 001; Meeko M. K. Oishi; Katia P. Sycara; Christian Lebiere; Michael Lewis 001 (IROS, 2016)

Observability of User-Interfaces for Hybrid LTI Systems Under Collaborative Control: Application to Aircraft Flight Management Systems. - Tasha M. Hammond; Neda Eskandari; Meeko M. K. Oishi (IEEE Trans Autom. Sci. Eng., 2016)

Guest Editorial Special Section on Human-Centered Automation. - Meeko M. K. Oishi; Dawn M. Tilbury; Claire J. Tomlin (IEEE Trans Autom. Sci. Eng., 2016)

Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. - Baisravan HomChaudhuri; Abraham P. Vinod; Meeko M. K. Oishi (ACC, 2017)

Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2017)

A novel smart lighting clinical testbed. - Joseph D. Gleason; Meeko Oishi; Michelle Simkulet; Arunas Tuzikas; Lee K. Brown; S. R. J. Brueck; Robert F. Karlicek (EMBC, 2017)

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. - Abraham P. Vinod; Baisravan HomChaudhuri; Meeko M. K. Oishi (HSCC, 2017)

Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. - Hao-Tien Lewis Chiang; Baisravan HomChaudhuri; Abraham P. Vinod; Meeko Oishi; Lydia Tapia (ICRA, 2017)

Busy beeway: a game for testing human-automation collaboration for navigation. - Torin Adamson; Meeko Oishi; Hao-Tien Lewis Chiang; Lydia Tapia (MIG, 2017)

Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. - Abraham P. Vinod; Meeko M. K. Oishi (IEEE Control. Syst. Lett., 2017)

Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. - Kendra Lesser; Meeko Oishi (IEEE Trans. Autom. Control., 2017)

Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set-Based Potential Field. - Nick Malone; Hao-Tien Chiang; Kendra Lesser; Meeko Oishi; Lydia Tapia (IEEE Trans. Robotics, 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - 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 (ARCH@ADHS, 2018)

Multiple Pursuer-Based Intercept via Forward Stochastic Reachability. - Abraham P. Vinod; Baisravan HomChaudhuri; Christoph Hintz; Anup Parikh; Stephen P. Buerger; Meeko M. K. Oishi; Greg Brunson; Shakeeb Ahmad; Rafael Fierro (ACC, 2018)

Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions. - Abraham P. Vinod; Sean Rice; Yuanqi Mao; Meeko M. K. Oishi; Behçet Açikmese (CDC, 2018)

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. - Abraham P. Vinod; Meeko M. K. Oishi (HSCC, 2018)

Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles. - Abraham P. Vinod; Baisravan HomChaudhuri; Meeko M. K. Oishi (CoRR, 2018)

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems. - Hossein Sartipizadeh; Abraham P. Vinod; Behçet Açikmese; Meeko Oishi (CoRR, 2018)

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. - Hossein Sartipizadeh; Abraham P. Vinod; Behçet Açikmese; Meeko Oishi (ACC, 2019)

Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints. - Abraham P. Vinod; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (ACC, 2019)

The Maximal Hitting-Time Stochastic Reachability Problem. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2019)

Optimal Coverage Control and Stochastic Multi-Target Tracking. - Milad Khaledyan; Abraham P. Vinod; Meeko Oishi; John A. Richards (CDC, 2019)

Predicting Mode Confusion Through Mixed Integer Linear Programming. - Vignesh Sivaramakrishnan; Omanshu Thapliyal; Abraham P. Vinod; Meeko Oishi; Inseok Hwang 002 (CDC, 2019)

Affine controller synthesis for stochastic reachability via difference of convex programming. - Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2019)

ARCH-COMP19 Category Report: Stochastic Modelling. - 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; et al. (ARCH@CPSIoTWeek, 2019)

SReachTools: a MATLAB stochastic reachability toolbox. - Abraham P. Vinod; Joseph D. Gleason; Meeko M. K. Oishi (HSCC, 2019)

SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. - Abraham P. Vinod; Joseph D. Gleason; Meeko M. K. Oishi (HSCC, 2019)

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. - Abraham P. Vinod; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (SNR, 2019)

Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma. - Joseph D. Gleason; Meeko M. K. Oishi; John T. Wen; Agung Julius; Suguna Pappu; Howard Yonas (Biomed. Signal Process. Control., 2019)

Stochastic Reachability for Systems up to a Million Dimensions. - Adam J. Thorpe; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (CoRR, 2019)

A UAV-enabled Dynamic Multi-Target Tracking and Sensing Framework. - Nathan Patrizi; Georgios Fragkos; Kendric R. Ortiz; Meeko Oishi; Eirini-Eleni Tsiropoulou (GLOBECOM, 2020)

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap. - Somali Chaterji; Parinaz Naghizadeh; Muhammad Ashraful Alam; Saurabh Bagchi; Mung Chiang; David Corman; Brian J. Henz; Suman Jana; Na Li; Shaoshuai Mou; Meeko Oishi; Chunyi Peng 001; et al. (CoRR, 2020)

Trust-based user-interface design for human-automation systems. - Abraham P. Vinod; Adam J. Thorpe; Philip A. Olaniyi; Tyler H. Summers; Meeko M. K. Oishi (CoRR, 2020)

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (CoRR, 2020)

Data-Driven Stochastic Reachability Using Hilbert Space Embeddings. - Adam J. Thorpe; Kendric R. Ortiz; Meeko M. K. Oishi (CoRR, 2020)

Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions. - Vignesh Sivaramakrishnan; Meeko M. K. Oishi (IEEE Control. Syst. Lett., 2020)

Model-Free Stochastic Reachability Using Kernel Distribution Embeddings. - Adam J. Thorpe; Meeko M. K. Oishi (IEEE Control. Syst. Lett., 2020)

Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. - Shawn Priore; Abraham P. Vinod; Vignesh Sivaramakrishnan; Christopher Petersen; Meeko Oishi (ACC, 2021)

Approximate Stochastic Reachability for High Dimensional Systems. - Adam J. Thorpe; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (ACC, 2021)

Stochastic Optimal Control via Hilbert Space Embeddings of Distributions. - Adam J. Thorpe; Meeko M. K. Oishi (CDC, 2021)

SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. - Adam J. Thorpe; Kendric R. Ortiz; Meeko M. K. Oishi (CDC, 2021)

Learning Approximate Forward Reachable Sets Using Separating Kernels. - Adam J. Thorpe; Kendric R. Ortiz; Meeko M. K. Oishi (L4DC, 2021)

Lagrangian approximations for stochastic reachability of a target tube. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (Autom., 2021)

Stochastic reachability of a target tube: Theory and computation. - Abraham P. Vinod; Meeko M. K. Oishi (Autom., 2021)

Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems. - Abraham P. Vinod; Meeko M. K. Oishi (IEEE Trans. Autom. Control., 2021)

Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances. - Shawn Priore; Christopher Petersen; Meeko Oishi (ACC, 2022)

Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions. - Vignesh Sivaramakrishnan; Joshua Pilipovsky; Meeko Oishi; Panagiotis Tsiotras (ACC, 2022)

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. - Adam J. Thorpe; Meeko Oishi (HSCC, 2022)

Data-Driven Chance Constrained Control using Kernel Distribution Embeddings. - Adam J. Thorpe; Thomas Lew; Meeko Oishi; Marco Pavone 001 (L4DC, 2022)

State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings. - Adam J. Thorpe; Kendric R. Ortiz; Meeko M. K. Oishi (Autom., 2022)

Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers. - Kendric R. Ortiz; Adam J. Thorpe; AnaMaria Perez; Maya Luster; Brandon J. Pitts; Meeko Oishi (CoRR, 2022)

Optimal Control Strategy for Linear Systems with Time Varying Random Plant Parameters. - Shawn Priore; Ali Bidram; Meeko Oishi (CoRR, 2022)

Approximate Stochastic Optimal Control for Linear Time Invariant Systems with Heavy-tailed Disturbances. - Shawn Priore; Christopher Petersen; Meeko Oishi (CoRR, 2022)

Introduction to the Special Section on Selected Papers from ICCPS 2021. - Mohammad Abdullah Al Faruque; Meeko Mitsuko Oishi (ACM Trans. Cyber Phys. Syst., 2022)

Sensor Selection for Dynamics-Driven User-Interface Design. - Abraham P. Vinod; Adam J. Thorpe; Philip A. Olaniyi; Tyler H. Summers; Meeko M. K. Oishi (IEEE Trans. Control. Syst. Technol., 2022)

Chance Constrained Stochastic Optimal Control for Linear Systems with Time Varying Random Plant Parameters. - Shawn Priore; Ali Bidram; Meeko Oishi (ACC, 2023)

Data-Driven Stochastic Optimal Control Using Kernel Gradients. - Adam J. Thorpe; Jake A. Gonzales; Meeko M. K. Oishi (ACC, 2023)

Chance Constrained Stochastic Optimal Control for Linear Systems with a Time Varying Random Control Matrix. - Shawn Priore; Meeko Oishi (CCTA, 2023)

Stochastic Optimal Control For Gaussian Disturbances with Unknown Mean and Variance Based on Sample Statistics. - Shawn Priore; Meeko Oishi (CDC, 2023)

Efficient Estimation of the Human Circadian Phase via Kalman Filtering. - Chukwuemeka O. Ike; John T. Wen; Meeko M. K. Oishi; Lee K. Brown; A. Agung Julius (EMBC, 2023)

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. - Joshua Pilipovsky; Vignesh Sivaramakrishnan; Meeko Oishi; Panagiotis Tsiotras (L4DC, 2023)

Chance Constrained Stochastic Optimal Control for Arbitrarily Disturbed LTI Systems Via the One-Sided Vysochanskij-Petunin Inequality. - Shawn Priore; Meeko Oishi (CoRR, 2023)

Chance Constrained Stochastic Optimal Control Based on Sample Statistics With Almost Surely Probabilistic Guarantees. - Shawn Priore; Meeko Oishi (CoRR, 2023)

Stochastic Reachability of Discrete-Time Stochastic Systems via Probability Measures. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (CoRR, 2023)

Blameless and Optimal Control under Prioritized Safety Constraints. - Natalia Pavlasek; Sarah H. Q. Li; Behçet Açikmese; Meeko Oishi; Claus Danielson (ACC, 2024)

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. - Adam J. Thorpe; Cyrus Neary; Franck Djeumou; Meeko M. K. Oishi; Ufuk Topcu (ACC, 2024)

Online Learning of Dynamical Systems Using Low-Rank Updates to Physics-Informed Kernel Distribution Embeddings. - Kendric R. Ortiz; Rachel DiPirro; Adam J. Thorpe; Meeko Oishi (CDC, 2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. - Vignesh Sivaramakrishnan; Rosalyn A. Devonport; Murat Arcak; Meeko M. K. Oishi (CDC, 2024)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Rosalyn A. Devonport; Meeko M. K. Oishi (CDC, 2024)

Personalized Data-Driven State Models of the Circadian Dynamics in a Biometric Signal. - Chukwuemeka O. Ike; Yunshi Wen; John T. Wen; Meeko M. K. Oishi; Lee K. Brown; A. Agung Julius (EMBC, 2024)

Characterizing Cultural Differences in Naturalistic Driving Interactions. - Rachel DiPirro; Hauke Sandhaus; David Goedicke; Dan Calderone; Meeko Oishi; Wendy Ju (ITSC, 2024)

Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (IEEE Trans. Autom. Control., 2024)

Characterizing the Effect of Mind Wandering on Braking Dynamics in Partially Autonomous Vehicles. - Harini Sridhar; Gaojian Huang; Adam J. Thorpe; Meeko Oishi; Brandon J. Pitts (ACM Trans. Cyber Phys. Syst., 2024)

Open-Loop Chance Constrained Stochastic Optimal Control via the One-Sided Vysochanskij-Petunin Inequality. - Isabella Pacula; Meeko Oishi (IEEE Trans. Autom. Control., 2024)

Trade-Offs in On-Orbit Inspection of a Stochastic, Tumbling Satellite. - Karthik Sivaramakrishnan; Vignesh Sivaramakrishnan; Steven Cutlip; Meeko Oishi (ACC, 2025)

SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks. - Vignesh Sivaramakrishnan; Krishna Chaitanya Kalagarla; Rosalyn A. Devonport; Joshua Pilipovsky; Panagiotis Tsiotras; Meeko Oishi (HSCC, 2025)

The Impact of Social Value Orientation on Nash Equilibria of Two Player Quadratic Games. - Daniel J. Calderone; Meeko Oishi (IEEE Control. Syst. Lett., 2025)