Adithya T. Praveen
Papers
1
Total Citations
9
H-Index
1
About
No biography available yet.
Research Focus
Abstraction1 · 9 citations
Artificial intelligence1 · 9 citations
Compiler1 · 9 citations
Computer science1 · 9 citations
Correctness1 · 9 citations
Distributed computing1 · 9 citations
Embedded system1 · 9 citations
Engineering1 · 9 citations
Formal methods1 · 9 citations
Formal verification1 · 9 citations
Model checking1 · 9 citations
Programming language1 · 9 citations
Key Achievements
1
H-Index
1
Papers
9
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation
9 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Synergy University Dubai
Top Papers
- 1
Key Collaborators
Not generated yet