Himaja Cherukuri

According to our database, Himaja Cherukuri authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.

Himaja Cherukuri, Alessio Ferrari, Paola Spoletini

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022