Ieva Daukantas

Identifiers

• name variant Ieva Daukantas 0.60 · backfill

Papers (3)

1. Safe and Reliable Training of Learning-Based Aerospace Controllers cs.AI · 2024 · author #4
2. Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates cs.AI · 2024 · author #4
3. Towards Efficient Verification of Quantized Neural Networks cs.LG · 2023 · author #4

Mentions

• 2405.14058 #4 · arxiv_oai · confidence 0.70 Ieva Daukantas
• 2407.07088 #4 · arxiv_oai · confidence 0.70 Ieva Daukantas
• 2312.12679 #4 · arxiv_oai · confidence 0.70 Ieva Daukantas

Frequent Coauthors

• Clark Barrett 3 shared papers
• Haoze Wu 3 shared papers
• Baoluo Meng 2 shared papers
• Fletcher Lee Newell 2 shared papers
• Guy Amir 2 shared papers
• Guy Katz 2 shared papers
• Michael Durling 2 shared papers
• Milan Ganai 2 shared papers
• Tobey Shim 2 shared papers
• Udayan Mandal 2 shared papers
• Kerianne Hobbs 1 shared papers
• Min Wu 1 shared papers
• Pei Huang 1 shared papers
• Umberto J. Ravaioli 1 shared papers
• Umberto Ravaioli 1 shared papers
• Yedi Zhang 1 shared papers
• Yuting Yang 1 shared papers