| The complexity of rational synthesis R Condurache, E Filiot, R Gentilini, JF Raskin 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016 | 46 | 2016 |
| Bisimulations for verifying strategic abilities with an application to threeballot F Belardinelli, R Condurache, C Dima, W Jamroga, AV Jones Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 28 | 2017 |
| Safraless synthesis for epistemic temporal specifications R Bozianu, C Dima, E Filiot International Conference on Computer Aided Verification, 441-456, 2014 | 11 | 2014 |
| Rational Synthesis in the Commons with Careless and Careful Agents R Condurache, C Dima, Y Oualhadj, N Troquard Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 8 | 2021 |
| Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol F Belardinelli, R Condurache, C Dima, W Jamroga, M Knapik Information and Computation 276, 104552, 2021 | 7 | 2021 |
| The Complexity of Rational Synthesis for Concurrent Games R Condurache, Y Oualhadj, N Troquard 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 7 | 2018 |
| Model-checking an Epistemic\mu-calculus with Synchronous and Perfect Recall Semantics R Bozianu, C Dima, C Enea arXiv preprint arXiv:1204.2087, 2012 | 5 | 2012 |
| Dynamic multi-agent systems: conceptual framework, automata-based modelling and verification R Condurache, R De Masellis, V Goranko International Conference on Principles and Practice of Multi-Agent Systems …, 2019 | 4 | 2019 |
| Visual analytics of a pandemic spread: VAST 2010 Mini Challenge 2 award: Thorough description of analytic process A Astefanoaie, R Bozianu, M Broghammer, R Jungnickel, C Rohrdantz, ... 2010 IEEE Symposium on Visual Analytics Science and Technology, 277-278, 2010 | 3 | 2010 |
| Experimental Evaluation of Acacia-K: A tool for synthesis of reactive systems from KLTL+ specifications R Condurache 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | | 2018 |
| The Complexity of Concurrent Rational Synthesis R Condurache, Y Oualhadj, N Troquard arXiv preprint arXiv:1707.06936, 2017 | | 2017 |
| Synthèse des systèmes réactifs interactifs R Bozianu Université Paris-Est, Faculté des Sciences et Technologie, LACL, Département …, 2016 | | 2016 |
| Synthèse des systèmes réactifs interactifs: Synthesis of interactive reactive systems R Bozianu, E Filiot Université libre de Bruxelles, 2016 | | 2016 |
| Synthesis of Interactive Reactive Systems R Bozianu Paris Est, 2016 | | 2016 |
| Energy sensitive rational synthesis R Condurache, C Dima, Y Oualhadj, N Troquard | | |
| Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot (Communication) F Belardinelli, R Condurache, C Dima, W Jamroga, AV Jones | | |
| Communications: The Complexity of Rational Synthesis R Condurache, E Filiot, R Gentilini, JF Raskin | | |
| Safraless Synthesis for Epistemic Temporal Specifications Extended Abstract R Bozianu, C Dima, E Filiot | | |
Catalin DimaProfessor of Computer Science, Université Paris-Est Créteil, France在 u-pec.fr 的电子邮件经过验证
