Spectral Gap in Timed Automata

Spectral Gap in Timed Automata

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Asarin, E, Basset, N, Degorre, A
Формат:	Conference item
Хэвлэсэн:	Springer 2013

Ижил төстэй зүйлс

Generating Functions of Timed Languages
-н: Asarin, E, зэрэг
Хэвлэсэн: (2012)

Toward a Timed Theory of Channel Coding
-н: Asarin, E, зэрэг
Хэвлэсэн: (2012)

Thin and Thick Timed Regular Languages
-н: Basset, N, зэрэг
Хэвлэсэн: (2011)

Uniform sampling for timed automata with application to language inclusion measurement
-н: Kwiatkowska, M, зэрэг
Хэвлэсэн: (2016)

Stochastic Timed Automata
-н: Nathalie Bertrand, зэрэг
Хэвлэсэн: (2014-12-01)

Reachability−Time Games on Timed Automata
-н: Jurdzinski, M, зэрэг
Хэвлэсэн: (2007)

Concavely−Priced Timed Automata
-н: Jurdzinski, M, зэрэг
Хэвлэсэн: (2008)

Action Transducers and Timed Automata
-н: Lynch, Nancy A., зэрэг
Хэвлэсэн: (2023)

Parametric Interrupt Timed Automata
-н: Bérard, B, зэрэг
Хэвлэсэн: (2013)

Parametric Spectral Analysis Applied to Gapped Time-Series of Variable Stars
-н: Roques S., зэрэг
Хэвлэсэн: (2000-09-01)

Revisiting reachability in timed automata
-н: Quaas, K, зэрэг
Хэвлэсэн: (2017)

Weak Alternating Timed Automata
-н: Pawel Parys, зэрэг
Хэвлэсэн: (2012-09-01)

Sampled Semantics of Timed Automata
-н: Pavel Krcal, зэрэг
Хэвлэсэн: (2010-09-01)

Determinisability of register and timed automata
-н: Lorenzo Clemente, зэрэг
Хэвлэсэн: (2022-05-01)

Relating timed and register automata
-н: Diego Figueira, зэрэг
Хэвлэсэн: (2010-11-01)

An Introduction to Time-Constrained Automata
-н: Matthieu Lemerre, зэрэг
Хэвлэсэн: (2010-10-01)

On Nonlinear Prices in Timed Automata
-н: Devendra Bhave, зэрэг
Хэвлэсэн: (2016-12-01)

Adding Time to Pushdown Automata
-н: Parosh Aziz Abdulla, зэрэг
Хэвлэсэн: (2012-12-01)

Zenoness for Timed Pushdown Automata
-н: Parosh Aziz Abdulla, зэрэг
Хэвлэсэн: (2014-02-01)

Alternating Timed Automata over Bounded Time
-н: Jenkins, M, зэрэг
Хэвлэсэн: (2010)

Alternating Timed Automata over Bounded Time
-н: Jenkins, M, зэрэг
Хэвлэсэн: (2010)

Concavely−Priced Probabilistic Timed Automata
-н: Kwiatkowska, G, зэрэг
Хэвлэсэн: (2009)

Integer Parameter Synthesis for Timed Automata
-н: Jovanović, A, зэрэг
Хэвлэсэн: (2013)

Time Granularities and Ultimately Periodic Automata
-н: Bresolin, D, зэрэг
Хэвлэсэн: (2004)

Translating timed automata to tock-CSP
-н: Khattri, M, зэрэг
Хэвлэсэн: (2011)

Translating Timed Automata to Tock−CSP
-н: Khattri, M, зэрэг
Хэвлэсэн: (2011)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
-н: Jurdzinski, M, зэрэг
Хэвлэсэн: (2009)

Undecidability of the Spectral Gap
-н: Toby Cubitt, зэрэг
Хэвлэсэн: (2022-01-01)

The Theory of Timed I/O Automata
-н: Kaynar, Dilsun K., зэрэг
Хэвлэсэн: (2005)

The Theory of Timed I/O Automata
-н: Kaynor, Dilsun K., зэрэг
Хэвлэсэн: (2005)

Simulation of timed input/output automata
-н: Mavrommatis, Panayiotis P
Хэвлэсэн: (2007)

Costs and rewards in priced timed automata
-н: Fränzle, M, зэрэг
Хэвлэсэн: (2020)

Costs and rewards in priced timed automata
-н: Fränzle, M, зэрэг
Хэвлэсэн: (2018)

The theory of timed I/O automata /
-н: Kaynar, Dilsun K.
Хэвлэсэн: (2006)

Higher-Dimensional Timed and Hybrid Automata
-н: Fahrenberg, Uli
Хэвлэсэн: (2022-12-01)

Parametric updates in parametric timed automata
-н: Étienne André, зэрэг
Хэвлэсэн: (2021-05-01)

Reachability and liveness in parametric timed automata
-н: Étienne André, зэрэг
Хэвлэсэн: (2022-02-01)

Timed Automata Semantics for Analyzing Creol
-н: Mohammad Mahdi Jaghoori, зэрэг
Хэвлэсэн: (2010-07-01)

Abstraction of Dynamical Systems by Timed Automata
-н: Rafael Wisniewski, зэрэг
Хэвлэсэн: (2011-04-01)

Timed Automata for Modelling Caches and Pipelines
-н: Franck Cassez, зэрэг
Хэвлэсэн: (2015-11-01)