Anitha Murugesan

Identifiers

• name variant Anitha Murugesan 0.60 · backfill

Papers (3)

1. Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP cs.LO · 2024 · author #1
2. DesCert: Design for Certification cs.SE · 2022 · author #10
3. Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks cs.LG · 2019 · author #3

Mentions

• 2408.11699 #1 · arxiv_oai · confidence 0.70 Anitha Murugesan
• 2203.15178 #10 · arxiv_oai · confidence 0.70 Anitha Murugesan
• 1909.09142 #3 · arxiv_oai · confidence 0.70 Anitha Murugesan

Frequent Coauthors

• Hao Ren 2 shared papers
• Srivatsan Varadarajan 2 shared papers
• Devesh Bhatt 1 shared papers
• Elmer Salazar 1 shared papers
• Gopal Gupta 1 shared papers
• Huascar Sanchez 1 shared papers
• Isaac Wong 1 shared papers
• Jason Biatek 1 shared papers
• Joaqu\'in Arias 1 shared papers
• John Rushby 1 shared papers
• Jorge Navas 1 shared papers
• Michael Ernst 1 shared papers
• Minyoung Kim 1 shared papers
• Natarajan Shankar 1 shared papers
• Robert Stroud 1 shared papers
• Robin Bloomfield 1 shared papers
• Sai Krishnan Chandrasekar 1 shared papers
• Suzanne Millstein 1 shared papers