Volgen
Anand Balakrishnan
Anand Balakrishnan
PhD Candidate, University of Southern California
Geverifieerd e-mailadres voor usc.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Structured Reward Shaping using Signal Temporal Logic specifications
A Balakrishnan, JV Deshmukh
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
512019
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems
A Balakrishnan, AG Puranic, X Qin, A Dokhanchi, JV Deshmukh, HB Amor, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
362019
PerceMon: online monitoring for perception systems
A Balakrishnan, J Deshmukh, B Hoxha, T Yamaguchi, G Fainekos
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
342021
Augmenting visual SLAM with Wi-Fi sensing for indoor applications
ZS Hashemifar, C Adhivarahan, A Balakrishnan, K Dantu
Autonomous Robots 43 (8), 2245-2260, 2019
312019
Model-based Reinforcement Learning from Signal Temporal Logic Specifications
P Kapoor, A Balakrishnan, JV Deshmukh
arXiv preprint arXiv:2011.04950, 2020
282020
Model-free reinforcement learning for symbolic automata-encoded objectives
A Balakrishnan, S Jaksic, E Aguilar, D Nickovic, J Deshmukh
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
92022
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata
A Balakrishnan, S Jakšić, EA Aguilar, D Ničković, JV Deshmukh
2023 62nd IEEE Conference on Decision and Control (CDC), 6834-6840, 2023
32023
Safety Monitoring for Pedestrian Detection in Adverse Conditions
S Mallick, S Ghosal, A Balakrishnan, J Deshmukh
International Conference on Runtime Verification, 389-399, 2023
22023
Using logical specifications of objectives in multi-objective reinforcement learning
K Nottingham, A Balakrishnan, J Deshmukh, D Wingate
arXiv preprint arXiv:1910.01723, 2019
22019
Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
A Balakrishnan, M Atasever, JV Deshmukh
arXiv preprint arXiv:2410.11156, 2024
2024
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities
A Balakrishnan, R Bernard, S Narayanan, V Kudalkar, Y Zhao, ...
2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for …, 2024
2024
Multi-agent Path Finding for Timed Tasks Using Evolutionary Games
S Paul, A Balakrishnan, X Qin, JV Deshmukh
International Conference on Quantitative Evaluation of Systems and Formal …, 2024
2024
Differentiable Weighted Automata
A Balakrishnan, JV Deshmukh
ICML 2024 Workshop on Differentiable Almost Everything: Differentiable …, 2024
2024
Structured reward functions using STL: poster abstract
A Balakrishnan, J Deshmukh
22nd ACM International Conference on Hybrid Systems: Computation and Control …, 2019
2019
Indoor Feature Detection For Micro-Aerial Vehicle Swarms
R DeBortoli, J Yu, A Balakrishnan, K Dantu
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15