Jason Stanley

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 7

Top Topics

Mutual Exclusion

Top Venues

IEEE Trans. Robotics

Publications

Thai Duong, Abdullah Altawaitan, Jason Stanley, Nikolay Atanasov
Port-Hamiltonian Neural ODE Networks on Lie Groups for Robot Dynamics Learning and Control. IEEE Trans. Robotics 40 (2024)
Thai Duong, Abdullah Altawaitan, Jason Stanley, Nikolay Atanasov
Port-Hamiltonian Neural ODE Networks on Lie Groups For Robot Dynamics Learning and Control. CoRR (2024)
Abdullah Altawaitan, Jason Stanley, Sambaran Ghosal, Thai Duong, Nikolay Atanasov
Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control. ICRA (2024)
Abdullah Altawaitan, Jason Stanley, Sambaran Ghosal, Thai Duong, Nikolay Atanasov
Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control. CoRR (2023)
Umang Bhatt, Javier Antorán, Yunfeng Zhang, Q. Vera Liao, Prasanna Sattigeri, Riccardo Fogliato, Gabrielle Gauthier Melançon, Ranganath Krishnan, Jason Stanley, Omesh Tickoo, Lama Nachman, Rumi Chunara, Madhulika Srikumar, Adrian Weller, Alice Xiang
Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty. AIES (2021)
Umang Bhatt, Yunfeng Zhang, Javier Antorán, Q. Vera Liao, Prasanna Sattigeri, Riccardo Fogliato, Gabrielle Gauthier Melançon, Ranganath Krishnan, Jason Stanley, Omesh Tickoo, Lama Nachman, Rumi Chunara, Adrian Weller, Alice Xiang
Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty. CoRR (2020)
Jason Stanley, Hongwei Liao, Stéphane Lafortune
SAT-Based Control of Concurrent Software for Deadlock Avoidance. IEEE Trans. Autom. Control. 60 (12) (2015)
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23 (2) (2013)
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21 (6) (2013)
Gowtham Bellala, Jason Stanley, Suresh K. Bhavnani, Clayton Scott
A Rank-Based Approach to Active Diagnosis. IEEE Trans. Pattern Anal. Mach. Intell. 35 (9) (2013)
Gowtham Bellala, Jason Stanley, Clayton Scott, Suresh K. Bhavnani
Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks CoRR (2012)
Yin Wang, Jason Stanley, Stéphane Lafortune
Explicit storage and analysis of billions of states using commodity computers. WODES (2012)
Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC/ECC (2011)
Gowtham Bellala, Jason Stanley, Clayton Scott, Suresh K. Bhavnani
Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks. UAI (2011)
Jason Stanley, Robert Shendock, Kenneth J. Witt, Dan Mandl
A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink. Software Engineering Research and Practice (2005)