Catalin-Andrei Ilie

According to our database, Catalin-Andrei Ilie authored at least 2 papers in 2020.

Collaborative distances:

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

2020

Parametric Model Checking Continuous-Time Markov Chains.

Catalin-Andrei Ilie, James B. Worrell

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Robustness as Inherent Property of Datapoints.

Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020