Author:
Sampath Prahladavaradan,Rajeev A. C.,Ramesh S.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking for AlphaCode-Generated Programs;2022 7th International Conference on Intelligent Computing and Signal Processing (ICSP);2022-04-15
2. Reflexion Models for State Machine Extraction and Verification;2018 IEEE International Conference on Software Maintenance and Evolution (ICSME);2018-09
3. Validation of Transformation from Abstract State Machine Models to C++ Code;Testing Software and Systems;2018
4. Hybrid automata: from verification to implementation;International Journal on Software Tools for Technology Transfer;2017-06-12
5. From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles;Towards Autonomous Robotic Systems;2015