Concavely−Priced Timed Automata

Concavely−Priced Timed Automata

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Jurdzinski, M, Trivedi, A
Rannpháirtithe:	Cassez, F
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2008

Míreanna comhchosúla

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
de réir: Jurdzinski, M, et al.
Foilsithe / Cruthaithe: (2009)

Concavely−Priced Probabilistic Timed Automata
de réir: Kwiatkowska, G, et al.
Foilsithe / Cruthaithe: (2009)

Reachability−Time Games on Timed Automata
de réir: Jurdzinski, M, et al.
Foilsithe / Cruthaithe: (2007)

On Nonlinear Prices in Timed Automata
de réir: Devendra Bhave, et al.
Foilsithe / Cruthaithe: (2016-12-01)

Stochastic Timed Automata
de réir: Nathalie Bertrand, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Model Checking Probabilistic Timed Automata with One or Two Clocks
de réir: Marcin Jurdzinski, et al.
Foilsithe / Cruthaithe: (2008-09-01)

Costs and rewards in priced timed automata
de réir: Fränzle, M, et al.
Foilsithe / Cruthaithe: (2020)

Costs and rewards in priced timed automata
de réir: Fränzle, M, et al.
Foilsithe / Cruthaithe: (2018)

Average−Time Games
de réir: Jurdzinski, M, et al.
Foilsithe / Cruthaithe: (2008)

When are emptiness and containment decidable for probabilistic automata?
de réir: Daviaud, L, et al.
Foilsithe / Cruthaithe: (2021)

When is containment decidable for probabilistic automata?
de réir: Daviaud, L, et al.
Foilsithe / Cruthaithe: (2018)

Model Checking One-clock Priced Timed Automata
de réir: Patricia Bouyer, et al.
Foilsithe / Cruthaithe: (2008-06-01)

Advancing Natural Gas Price Predictions with ConcaveLSTM
de réir: Mohammad Diqi, et al.
Foilsithe / Cruthaithe: (2024-04-01)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
de réir: Peter Bulychev, et al.
Foilsithe / Cruthaithe: (2012-07-01)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Entropies and Their Concavity and Schur-Concavity Conditions
de réir: Tarald O. Kvalseth
Foilsithe / Cruthaithe: (2022-01-01)

Improved Undecidability Results for Reachability Games on Recursive Timed Automata
de réir: Shankara Narayanan Krishna, et al.
Foilsithe / Cruthaithe: (2014-08-01)

Multiplicative Concavity of the Integral of Multiplicatively Concave Functions
de réir: Yu-Ming Chu, et al.
Foilsithe / Cruthaithe: (2010-01-01)

CONCAVE PDC CUTTER
de réir: Vyacheslav V. Neskoromnykh, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Action Transducers and Timed Automata
de réir: Lynch, Nancy A., et al.
Foilsithe / Cruthaithe: (2023)

Bifurcation curve for the Minkowski-curvature equation with concave or geometrically concave nonlinearity
de réir: Kuo-Chih Hung
Foilsithe / Cruthaithe: (2024-08-01)

Revisiting reachability in timed automata
de réir: Quaas, K, et al.
Foilsithe / Cruthaithe: (2017)

Spectral Gap in Timed Automata
de réir: Asarin, E, et al.
Foilsithe / Cruthaithe: (2013)

Parametric Interrupt Timed Automata
de réir: Bérard, B, et al.
Foilsithe / Cruthaithe: (2013)

Quantification of Iris Concavity
de réir: Rouzbeh Amini, et al.
Foilsithe / Cruthaithe: (2010-01-01)

Alternating Timed Automata over Bounded Time
de réir: Jenkins, M, et al.
Foilsithe / Cruthaithe: (2010)

Alternating Timed Automata over Bounded Time
de réir: Jenkins, M, et al.
Foilsithe / Cruthaithe: (2010)

Translating timed automata to tock-CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

Translating Timed Automata to Tock−CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

Concavity and optimization in microeconomics /
de réir: 187489 Madden, Paul
Foilsithe / Cruthaithe: (1986)

Weak Alternating Timed Automata
de réir: Pawel Parys, et al.
Foilsithe / Cruthaithe: (2012-09-01)

Sampled Semantics of Timed Automata
de réir: Pavel Krcal, et al.
Foilsithe / Cruthaithe: (2010-09-01)

Determinisability of register and timed automata
de réir: Lorenzo Clemente, et al.
Foilsithe / Cruthaithe: (2022-05-01)

Relating timed and register automata
de réir: Diego Figueira, et al.
Foilsithe / Cruthaithe: (2010-11-01)

An Introduction to Time-Constrained Automata
de réir: Matthieu Lemerre, et al.
Foilsithe / Cruthaithe: (2010-10-01)

Adding Time to Pushdown Automata
de réir: Parosh Aziz Abdulla, et al.
Foilsithe / Cruthaithe: (2012-12-01)

Zenoness for Timed Pushdown Automata
de réir: Parosh Aziz Abdulla, et al.
Foilsithe / Cruthaithe: (2014-02-01)

How concave are river channels?
de réir: S. M. Mudd, et al.
Foilsithe / Cruthaithe: (2018-06-01)

On an Integral Equation with Concave Nonlinearity
de réir: Kh.A. Khachatryan, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Time Granularities and Ultimately Periodic Automata
de réir: Bresolin, D, et al.
Foilsithe / Cruthaithe: (2004)