Filtrer vos résultats
- 8
- 1
- 6
- 2
- 1
- 9
- 3
- 1
- 1
- 3
- 1
- 9
- 8
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 9
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Historia: Refuting Callback Reachability with Message-History LogicsProceedings of the ACM on Programming Languages, 2023, 7 (OOPSLA2), pp.1905-1934. ⟨10.1145/3622865⟩
Article dans une revue
hal-04435159v1
|
||
|
Verification Modulo TheoriesFormal Methods in System Design, In press, 60 (3), pp.452-481. ⟨10.1007/S10703-023-00434-X⟩
Article dans une revue
hal-04465050v1
|
||
|
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant DynamicsARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montreal (Canada), Canada. pp.1--13, ⟨10.29007/RJWN⟩
Communication dans un congrès
hal-04465125v1
|
||
|
Model Checking of Hybrid Systems Using Shallow SynchronizationJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.155-169, ⟨10.1007/978-3-642-13464-7_13⟩
Communication dans un congrès
hal-01055156v1
|
||
|
Towards Automata-Based Abstraction of Goals in Hierarchical Reinforcement LearningIntrinsically Motivated Open-ended Learning IMOL 2022, Apr 2022, Tübingen, Germany
Communication dans un congrès
hal-03600799v1
|
||
|
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical SystemsComputer Aided Verification, 12759, Springer International Publishing; Springer International Publishing, pp.529-551, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-81685-8\_25⟩
Chapitre d'ouvrage
hal-03533919v1
|
||
|
Lifestate: Event-Driven Protocols and Callback Control Flow33rd European Conference on Object-Oriented Programming, {ECOOP} 2019, Jul 2019, London, United Kingdom. ⟨10.4230/LIPICS.ECOOP.2019.1⟩
Communication dans un congrès
hal-04435098v1
|
||
|
Reaching Out Towards Fully Verified Autonomous SystemsReachability Problems, Sep 2019, Brussels (Belgium), France. pp.22-32, ⟨10.1007/978-3-030-30806-3_3⟩
Communication dans un congrès
hal-04465076v1
|
||
|
Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability AnalysisIMOL 2023 - The 6th International Workshop on Intrinsically Motivated Open-ended Learning, Sep 2023, Paris, France
Communication dans un congrès
hal-04201363v1
|