Spectral Gap in Timed Automata

Spectral Gap in Timed Automata

Bibliografski detalji
Glavni autori:	Asarin, E, Basset, N, Degorre, A
Format:	Conference item
Izdano:	Springer 2013

Slični predmeti

Generating Functions of Timed Languages
od: Asarin, E, i dr.
Izdano: (2012)

Toward a Timed Theory of Channel Coding
od: Asarin, E, i dr.
Izdano: (2012)

Thin and Thick Timed Regular Languages
od: Basset, N, i dr.
Izdano: (2011)

Uniform sampling for timed automata with application to language inclusion measurement
od: Kwiatkowska, M, i dr.
Izdano: (2016)

Stochastic Timed Automata
od: Nathalie Bertrand, i dr.
Izdano: (2014-12-01)

Reachability−Time Games on Timed Automata
od: Jurdzinski, M, i dr.
Izdano: (2007)

Concavely−Priced Timed Automata
od: Jurdzinski, M, i dr.
Izdano: (2008)

Action Transducers and Timed Automata
od: Lynch, Nancy A., i dr.
Izdano: (2023)

Parametric Interrupt Timed Automata
od: Bérard, B, i dr.
Izdano: (2013)

Parametric Spectral Analysis Applied to Gapped Time-Series of Variable Stars
od: Roques S., i dr.
Izdano: (2000-09-01)

Revisiting reachability in timed automata
od: Quaas, K, i dr.
Izdano: (2017)

Weak Alternating Timed Automata
od: Pawel Parys, i dr.
Izdano: (2012-09-01)

Sampled Semantics of Timed Automata
od: Pavel Krcal, i dr.
Izdano: (2010-09-01)

Determinisability of register and timed automata
od: Lorenzo Clemente, i dr.
Izdano: (2022-05-01)

Relating timed and register automata
od: Diego Figueira, i dr.
Izdano: (2010-11-01)

An Introduction to Time-Constrained Automata
od: Matthieu Lemerre, i dr.
Izdano: (2010-10-01)

On Nonlinear Prices in Timed Automata
od: Devendra Bhave, i dr.
Izdano: (2016-12-01)

Adding Time to Pushdown Automata
od: Parosh Aziz Abdulla, i dr.
Izdano: (2012-12-01)

Zenoness for Timed Pushdown Automata
od: Parosh Aziz Abdulla, i dr.
Izdano: (2014-02-01)

Alternating Timed Automata over Bounded Time
od: Jenkins, M, i dr.
Izdano: (2010)

Alternating Timed Automata over Bounded Time
od: Jenkins, M, i dr.
Izdano: (2010)

Concavely−Priced Probabilistic Timed Automata
od: Kwiatkowska, G, i dr.
Izdano: (2009)

Integer Parameter Synthesis for Timed Automata
od: Jovanović, A, i dr.
Izdano: (2013)

Time Granularities and Ultimately Periodic Automata
od: Bresolin, D, i dr.
Izdano: (2004)

Translating timed automata to tock-CSP
od: Khattri, M, i dr.
Izdano: (2011)

Translating Timed Automata to Tock−CSP
od: Khattri, M, i dr.
Izdano: (2011)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
od: Jurdzinski, M, i dr.
Izdano: (2009)

Undecidability of the Spectral Gap
od: Toby Cubitt, i dr.
Izdano: (2022-01-01)

The Theory of Timed I/O Automata
od: Kaynar, Dilsun K., i dr.
Izdano: (2005)

The Theory of Timed I/O Automata
od: Kaynor, Dilsun K., i dr.
Izdano: (2005)

Simulation of timed input/output automata
od: Mavrommatis, Panayiotis P
Izdano: (2007)

Costs and rewards in priced timed automata
od: Fränzle, M, i dr.
Izdano: (2020)

Costs and rewards in priced timed automata
od: Fränzle, M, i dr.
Izdano: (2018)

The theory of timed I/O automata /
od: Kaynar, Dilsun K.
Izdano: (2006)

Higher-Dimensional Timed and Hybrid Automata
od: Fahrenberg, Uli
Izdano: (2022-12-01)

Parametric updates in parametric timed automata
od: Étienne André, i dr.
Izdano: (2021-05-01)

Reachability and liveness in parametric timed automata
od: Étienne André, i dr.
Izdano: (2022-02-01)

Timed Automata Semantics for Analyzing Creol
od: Mohammad Mahdi Jaghoori, i dr.
Izdano: (2010-07-01)

Abstraction of Dynamical Systems by Timed Automata
od: Rafael Wisniewski, i dr.
Izdano: (2011-04-01)

Timed Automata for Modelling Caches and Pipelines
od: Franck Cassez, i dr.
Izdano: (2015-11-01)