Filtrer vos résultats
- 47
- 7
- 31
- 18
- 3
- 1
- 1
- 54
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 54
- 48
- 12
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
54 résultats
|
|
triés par
|
Finite-type-Dyck shift spaces2018
Pré-publication, Document de travail
hal-01699942v1
|
|||
Regular Expressions with Timed DominoesDiscrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, 2003, Unknown, Unknown Region. pp.141--154, ⟨10.1007/3-540-45066-1_11⟩
Communication dans un congrès
istex
hal-01699966v1
|
|||
|
A Hennessy-Milner Theorem for ATL with Imperfect Information35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarbrücken, Germany. pp.181--194, ⟨10.1145/3373718.3394784⟩
Communication dans un congrès
hal-02867538v1
|
||
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsCoRR, 2013, abs/1310.6434
Article dans une revue
hal-01699943v1
|
|||
Relating paths in transition systems: the fall of the modal mu-calculusACM Transactions on Computational Logic, 2018, 19 (3), pp.1-33. ⟨10.1145/3231596⟩
Article dans une revue
hal-02533545v1
|
|||
A study on shuffle, stopwatches and independently evolving clocksDistributed Computing, 2012, 25 (1), pp.5--33. ⟨10.1007/s00446-011-0148-2⟩
Article dans une revue
istex
hal-01699946v1
|
|||
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTLTIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, 2009, Unknown, Unknown Region. pp.29--36, ⟨10.1109/TIME.2009.21⟩
Communication dans un congrès
hal-01699954v1
|
|||
A Nonarchimedian Discretization for Timed LanguagesFundam. Inform., 2014, 131 (3-4), pp.389--407. ⟨10.3233/FI-2014-1021⟩
Article dans une revue
hal-01699935v1
|
|||
|
PrefaceElectronic Notes in Theoretical Computer Science, 2007, 186, pp.1--2. ⟨10.1016/j.entcs.2007.05.035⟩
Article dans une revue
hal-01699959v1
|
||
Removing All Silent Transitions from Timed AutomataFormal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, ⟨10.1007/978-3-642-04368-0_11⟩
Communication dans un congrès
istex
hal-01699953v1
|
|||
|
Entropy Games and Matrix Multiplication Games2015
Pré-publication, Document de travail
hal-01164086v3
|
||
Abstractions of Multi-agent SystemsMulti-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--21, ⟨10.1007/978-3-540-75254-7_2⟩
Communication dans un congrès
istex
hal-01699958v1
|
|||
|
On the computation of covert channel capacityRAIRO - Theor. Inf. and Applic., 2010, 44 (1), pp.37--58. ⟨10.1051/ita/2010004⟩
Article dans une revue
hal-01699951v1
|
||
Timed Shuffle ExpressionsCONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, 2005, Unknown, Unknown Region. pp.95--109, ⟨10.1007/11539452_11⟩
Communication dans un congrès
istex
hal-01699963v1
|
|||
Distributed Real-Time AutomataGrammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun, 2003, Unknown, Unknown Region. pp.131--140
Communication dans un congrès
hal-01699965v1
|
|||
Kleene Theorems for Event-Clock AutomataFundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.215--225, ⟨10.1007/3-540-48321-7_17⟩
Communication dans un congrès
istex
hal-01699973v1
|
|||
Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is UndecidableApplied Artificial Intelligence, 2012, 26 (4), pp.331--348. ⟨10.1080/08839514.2012.652905⟩
Article dans une revue
hal-01699945v1
|
|||
|
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checkingJournal of Applied Non-Classical Logics, 2011, 21 (1), pp.93--131. ⟨10.3166/jancl.21.93-131⟩
Article dans une revue
hal-01699949v1
|
||
Distributed Time-Asynchronous AutomataTheoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.185--200, ⟨10.1007/978-3-540-75292-9_13⟩
Communication dans un congrès
istex
hal-01699960v1
|
|||
Model-Checking Strategic Ability and Knowledge of the Past of Communicating CoalitionsDeclarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.75--90, ⟨10.1007/978-3-540-93920-7_6⟩
Communication dans un congrès
istex
hal-01699956v1
|
|||
Computing Reachability Relations in Timed Automata17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002, Unknown, Unknown Region. pp.177, ⟨10.1109/LICS.2002.1029827⟩
Communication dans un congrès
hal-01699968v1
|
|||
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" OrdersFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
Communication dans un congrès
istex
hal-01699964v1
|
|||
|
Verification of EB3 specifications using CADPFormal Aspects of Computing, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩
Article dans une revue
hal-01290460v1
|
||
|
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩
Communication dans un congrès
hal-01514655v1
|
||
|
Asymptotic behaviour in temporal logicJoint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, Unknown, Unknown Region. pp.10:1--10:9, ⟨10.1145/2603088.2603158⟩
Communication dans un congrès
hal-01699933v1
|
||
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect RecallComputational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, ⟨10.1007/978-3-642-02734-5_8⟩
Communication dans un congrès
istex
hal-01699955v1
|
|||
Real-Time AutomataJournal of Automata, Languages and Combinatorics, 2001, 6 (1), pp.3--24
Article dans une revue
hal-01699971v1
|
|||
Zeta functions of finite-type-Dyck shifts are N-algebraic2014 Information Theory and Applications Workshop, ITA 2014, San Diego, CA, USA, February 9-14, 2014, 2014, Unknown, Unknown Region. pp.1--8, ⟨10.1109/ITA.2014.6804286⟩
Communication dans un congrès
hal-01699936v1
|
|||
|
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallotProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295
Communication dans un congrès
hal-01699927v1
|
||
Sofic-Dyck shifts2018
Pré-publication, Document de travail
hal-01699941v1
|
- 1
- 2