Tyler Ingebrand

According to our database, Tyler Ingebrand authored at least 10 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Runtime Safety through Adaptive Shielding: From Hidden Parameter Inference to Provable Guarantees.

Minjae Kwon, Tyler Ingebrand, Ufuk Topcu, Lu Feng

CoRR, June, 2025

Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments.

William Ward, Sarah Etter, Tyler Ingebrand, Christian Ellis, Adam J. Thorpe, Ufuk Topcu

CoRR, June, 2025

Function Encoders: A Principled Approach to Transfer Learning in Hilbert Spaces.

Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu

CoRR, January, 2025

Separation Assurance in Urban Air Mobility Systems using Shared Scheduling Protocols.

Surya Murthy, Tyler Ingebrand, Sophia Smith, Ufuk Topcu, Peng Wei, Natasha A. Neogi

CoRR, January, 2025

2024

Basis-to-Basis Operator Learning Using Function Encoders.

Tyler Ingebrand, Adam J. Thorpe, Somdatta Goswami, Krishna Kumar, Ufuk Topcu

CoRR, 2024

Zero-Shot Transfer of Neural ODEs.

Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu

Proceedings of the Seventh Annual Conference on Machine Learning and Systems, 2024

Zero-Shot Reinforcement Learning via Function Encoders.

Tyler Ingebrand, Amy Zhang, Ufuk Topcu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Fine-Tuning Language Models Using Formal Methods Feedback.

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu

CoRR, 2023

Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning Through Shared Scheduling Protocols.

Tyler Ingebrand, Sophia Smith, Ufuk Topcu

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023