Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christoffer Sloth
Algorithmic Approach to Abstracting Linear Systems by Timed Automata*
IFAC Proceedings Volumes
Related publications
From Time Petri Nets to Timed Automata: An Untimed Approach
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Or Forum—An Algorithmic Approach to Linear Regression
Operations Research
Management Science
Computer Science Applications
Operations Research
A Linear Algebra Approach to Synchronizing Automata
Robust Reachability in Timed Automata: A Game-Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Timed Automata
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
