Daniel Stan

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 12

Top Venues

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CSL (2024)
Adrien Pommellet, Daniel Stan, Simon Scatton
SAT-Based Learning of Computation Tree Logic. IJCAR (1) (2024)
Adrien Pommellet, Daniel Stan, Simon Scatton
SAT-based Learning of Computation Tree Logic. CoRR (2024)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CoRR (2023)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries (Technical Report). CoRR (2021)
Daniel Stan, Anthony Widjaja Lin
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). CoRR (2021)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). CAV (2) (2021)
Daniel Stan, Anthony W. Lin
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. AAMAS (2021)
Gereon Fox, Daniel Stan, Holger Hermanns
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI (2019)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR (2016)
Patricia Bouyer, Nicolas Markey, Daniel Stan
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF (2016)
Patricia Bouyer, Nicolas Markey, Daniel Stan
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS (2014)

Daniel Stan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Stan