Daniel Stan

According to our database, Daniel Stan authored at least 11 papers between 2014 and 2024.

Collaborative distances:

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

2024

SAT-Based Learning of Computation Tree Logic.

Adrien Pommellet, Daniel Stan, Simon Scatton

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Concurrent Stochastic Lossy Channel Games.

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2021

Learning Union of Integer Hypercubes with Queries (Technical Report).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

CoRR, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report).

Daniel Stan, Anthony Widjaja Lin

CoRR, 2021

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems.

Daniel Stan, Anthony W. Lin

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Syntactic Partial Order Compression for Probabilistic Reachability.

Gereon Fox, Daniel Stan, Holger Hermanns

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents).

Daniel Stan

PhD thesis, 2017

2016

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games.

Patricia Bouyer, Nicolas Markey, Daniel Stan

Proceedings of the Seventh International Symposium on Games, 2016

Reachability in Networks of Register Protocols under Stochastic Schedulers.

Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2014

Mixed Nash Equilibria in Concurrent Terminal-Reward Games.

Patricia Bouyer, Nicolas Markey, Daniel Stan

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014