Aniruddh Gopinath Puranic

Orcid: 0000-0003-0010-9789

According to our database1, Aniruddh Gopinath Puranic authored at least 15 papers between 2019 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks.
CoRR, May, 2026

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair.
CoRR, April, 2026

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks.
CoRR, March, 2026

2025
BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis.
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning.
Proceedings of the 2025 European Control Conference, 2025

Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression.
Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024
Signal Temporal Logic-Guided Apprenticeship Learning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Self-supervised Time-Series Anomaly Detection with Temporal Logic Explanations.
Proceedings of the Game Theory and AI for Security, 2024

2023
Learning Performance Graphs From Demonstrations via Task-Based Evaluations.
IEEE Robotics Autom. Lett., 2023

2022
Poster Abstract: Learning from Demonstrations with Temporal Logics.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021
Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains.
IEEE Robotics Autom. Lett., 2021

2020
Mining Environment Assumptions for Cyber-Physical System Models.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Interpretable classification of time-series data using efficient enumerative techniques.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Learning from Demonstrations using Signal Temporal Logic.
Proceedings of the 4th Conference on Robot Learning, 2020

2019
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019


  Loading...