115
Voted
RP
9 years 9 months ago
2015 Springer 
Abstract. We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reach...
78
Voted
RP
9 years 9 months ago
2015 Springer 
Abstract. Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parame...
72
Voted
RP
9 years 9 months ago
2015 Springer 
Abstract. We consider probabilistic automata over finite words. Such an automaton defines the language consisting of the set of words accepted with probability greater than a giv...
71
Voted
RP
9 years 9 months ago
2015 Springer 
Abstract. Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Parameter synthesis aims at computing dense se...
66
Voted
RP
9 years 9 months ago
2015 Springer 
ander Malkis. MultithreadedCartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial ● Masaya Shimakawa, Shigeki Hagihara and Nao...
|
Control Systems