Search dblp for Publications

export results for "Milan Ganai"

 download as .bib file

@article{DBLP:journals/corr/abs-2405-14058,
  author       = {Udayan Mandal and
                  Guy Amir and
                  Haoze Wu and
                  Ieva Daukantas and
                  Fletcher Lee Newell and
                  Umberto J. Ravaioli and
                  Baoluo Meng and
                  Michael Durling and
                  Milan Ganai and
                  Tobey Shim and
                  Guy Katz and
                  Clark W. Barrett},
  title        = {Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov
                  Barrier Certificates},
  journal      = {CoRR},
  volume       = {abs/2405.14058},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.14058},
  doi          = {10.48550/ARXIV.2405.14058},
  eprinttype    = {arXiv},
  eprint       = {2405.14058},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-14058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2407-07088,
  author       = {Udayan Mandal and
                  Guy Amir and
                  Haoze Wu and
                  Ieva Daukantas and
                  Fletcher Lee Newell and
                  Umberto J. Ravaioli and
                  Baoluo Meng and
                  Michael Durling and
                  Kerianne Hobbs and
                  Milan Ganai and
                  Tobey Shim and
                  Guy Katz and
                  Clark W. Barrett},
  title        = {Safe and Reliable Training of Learning-Based Aerospace Controllers},
  journal      = {CoRR},
  volume       = {abs/2407.07088},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.07088},
  doi          = {10.48550/ARXIV.2407.07088},
  eprinttype    = {arXiv},
  eprint       = {2407.07088},
  timestamp    = {Fri, 16 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-07088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2407-09645,
  author       = {Milan Ganai and
                  Sicun Gao and
                  Sylvia L. Herbert},
  title        = {Hamilton-Jacobi Reachability in Reinforcement Learning: {A} Survey},
  journal      = {CoRR},
  volume       = {abs/2407.09645},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.09645},
  doi          = {10.48550/ARXIV.2407.09645},
  eprinttype    = {arXiv},
  eprint       = {2407.09645},
  timestamp    = {Thu, 15 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-09645.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/nn/MoosaeiGHT23,
  author       = {Hossein Moosaei and
                  M. A. Ganaie and
                  Milan Hlad{\'{\i}}k and
                  Muhammad Tanveer},
  title        = {Inverse free reduced universum twin support vector machine for imbalanced
                  data classification},
  journal      = {Neural Networks},
  volume       = {157},
  pages        = {125--135},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.neunet.2022.10.003},
  doi          = {10.1016/J.NEUNET.2022.10.003},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nn/MoosaeiGHT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/GanaiHCG23,
  author       = {Milan Ganai and
                  Chiaki Hirayama and
                  Ya{-}Chien Chang and
                  Sicun Gao},
  title        = {Learning Stabilization Control from Observations by Learning Lyapunov-like
                  Proxy Models},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2023, London, UK, May 29 - June 2, 2023},
  pages        = {2913--2920},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICRA48891.2023.10160928},
  doi          = {10.1109/ICRA48891.2023.10160928},
  timestamp    = {Tue, 08 Aug 2023 10:24:29 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/GanaiHCG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nips/GanaiGYHG23,
  author       = {Milan Ganai and
                  Zheng Gong and
                  Chenning Yu and
                  Sylvia L. Herbert and
                  Sicun Gao},
  editor       = {Alice Oh and
                  Tristan Naumann and
                  Amir Globerson and
                  Kate Saenko and
                  Moritz Hardt and
                  Sergey Levine},
  title        = {Iterative Reachability Estimation for Safe Reinforcement Learning},
  booktitle    = {Advances in Neural Information Processing Systems 36: Annual Conference
                  on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
                  LA, USA, December 10 - 16, 2023},
  year         = {2023},
  url          = {http://papers.nips.cc/paper\_files/paper/2023/hash/dca63f2650fe9e88956c1b68440b8ee9-Abstract-Conference.html},
  timestamp    = {Fri, 01 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/GanaiGYHG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2303-02215,
  author       = {Milan Ganai and
                  Chiaki Hirayama and
                  Ya{-}Chien Chang and
                  Sicun Gao},
  title        = {Learning Stabilization Control from Observations by Learning Lyapunov-like
                  Proxy Models},
  journal      = {CoRR},
  volume       = {abs/2303.02215},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.02215},
  doi          = {10.48550/ARXIV.2303.02215},
  eprinttype    = {arXiv},
  eprint       = {2303.02215},
  timestamp    = {Tue, 14 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-02215.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2308-14364,
  author       = {Milan Ganai and
                  Haichen Li and
                  Theodore Enns and
                  Yida Wang and
                  Randy Huang},
  title        = {Target-independent {XLA} optimization using Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2308.14364},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.14364},
  doi          = {10.48550/ARXIV.2308.14364},
  eprinttype    = {arXiv},
  eprint       = {2308.14364},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-14364.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2309-13528,
  author       = {Milan Ganai and
                  Zheng Gong and
                  Chenning Yu and
                  Sylvia L. Herbert and
                  Sicun Gao},
  title        = {Iterative Reachability Estimation for Safe Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2309.13528},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.13528},
  doi          = {10.48550/ARXIV.2309.13528},
  eprinttype    = {arXiv},
  eprint       = {2309.13528},
  timestamp    = {Wed, 27 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-13528.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.