Nastaran Kianersi

According to our database, Nastaran Kianersi authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Learning Probabilistic Automata from Single Continuous-Valued System Logs.

Simon Dierl, Nastaran Kianersi, Falk Howar, Sean Kauffman

Proceedings of the NASA Formal Methods, 2026

2025

Visualizing Temporal Interval Hierarchies.

Nafiz Sadman, Nastaran Kianersi, Sean Kauffman

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025