Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by André Arnold
Verification and Comparison of Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transductions De Forêts Reconnaissables Monadiques, Forêts Corégulières
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
Related publications
Runtime Verification of Stochastic Systems
Comparing Transition Systems With Independence and Asynchronous Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ubiquitous Verification of Ubiquitous Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Hybrid Systems
Visual Verification of Reactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparison of Modular Verification Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
