Enhancing active model learning with equivalence checking using simulation relations
Yogananda Jeppu, Natasha, Melham, Tom, Kroening, Daniel
Published in Formal methods in system design (01.12.2022)
Published in Formal methods in system design (01.12.2022)
Get full text
Journal Article
Longitudinal Trim and Stability Analysis of Generic Air-Breathing Hypersonic Vehicle using Bifurcation Method
SINGH, Ritesh, PRAKASH, Om, JOSHI, Sudhir, JEPPU, Yogananda
Published in INCAS bulletin (09.09.2022)
Published in INCAS bulletin (09.09.2022)
Get full text
Journal Article
Structural, optical and electrical properties of undoped and doped (Al, Al + Mn) ZnO nanoparticles synthesised by green combustion method using terminalia catappa seed extract
Savitha, D., Latha, H.K.E., Lalithamba, H.S., Mala, S., Vasudev Jeppu, Yogananda
Published in Materials today : proceedings (2022)
Published in Materials today : proceedings (2022)
Get full text
Journal Article
Few-Shot Open-Set Recognition of Hyperspectral Images with Outlier Calibration Network
Pal, Debabrata, Bundele, Valay, Sharma, Renuka, Banerjee, Biplab, Jeppu, Yogananda
Published in 2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) (01.01.2022)
Published in 2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) (01.01.2022)
Get full text
Conference Proceeding
Impact of Al and Mn doping on structural and Electrical properties of the Green synthesized ZnO Nanoparticles
Savitha, D., E, Latha H. K., Lalithamba, H.S., Jeppu, Yogananda Vasudev
Published in 2023 International Conference on Smart Systems for applications in Electrical Sciences (ICSSES) (07.07.2023)
Published in 2023 International Conference on Smart Systems for applications in Electrical Sciences (ICSSES) (07.07.2023)
Get full text
Conference Proceeding
Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally
Raman, Ramakrishnan, Jeppu, Yogananda
Published in 2021 IEEE International Systems Conference (SysCon) (15.04.2021)
Published in 2021 IEEE International Systems Conference (SysCon) (15.04.2021)
Get full text
Conference Proceeding
Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System
Raman, Ramakrishnan, Jeppu, Yogananda
Published in 2020 IEEE International Systems Conference (SysCon) (24.08.2020)
Published in 2020 IEEE International Systems Conference (SysCon) (24.08.2020)
Get full text
Conference Proceeding
Symbolic Task Inference in Deep Reinforcement Learning
Hasanbeig, Hosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel
Published in The Journal of artificial intelligence research (23.07.2024)
Published in The Journal of artificial intelligence research (23.07.2024)
Get full text
Journal Article
Active Learning of Abstract System Models from Traces using Model Checking
Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Get full text
Conference Proceeding