Hisham Unniyankal

According to our database, Hisham Unniyankal authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems.

Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino

Proceedings of the 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2023

RMLGym: a Formal Reward Machine Framework for Reinforcement Learning.

Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone

Proceedings of the 24th Workshop "From Objects to Agents", 2023