Concavely−Priced Timed Automata

Concavely−Priced Timed Automata

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Jurdzinski, M, Trivedi, A
Այլ հեղինակներ:	Cassez, F
Ձևաչափ:	Conference item
Հրապարակվել է:	Springer 2008

Նմանատիպ նյութեր

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
‌: Jurdzinski, M, և այլն
Հրապարակվել է: (2009)

Concavely−Priced Probabilistic Timed Automata
‌: Kwiatkowska, G, և այլն
Հրապարակվել է: (2009)

Reachability−Time Games on Timed Automata
‌: Jurdzinski, M, և այլն
Հրապարակվել է: (2007)

On Nonlinear Prices in Timed Automata
‌: Devendra Bhave, և այլն
Հրապարակվել է: (2016-12-01)

Stochastic Timed Automata
‌: Nathalie Bertrand, և այլն
Հրապարակվել է: (2014-12-01)

Model Checking Probabilistic Timed Automata with One or Two Clocks
‌: Marcin Jurdzinski, և այլն
Հրապարակվել է: (2008-09-01)

Costs and rewards in priced timed automata
‌: Fränzle, M, և այլն
Հրապարակվել է: (2020)

Costs and rewards in priced timed automata
‌: Fränzle, M, և այլն
Հրապարակվել է: (2018)

Average−Time Games
‌: Jurdzinski, M, և այլն
Հրապարակվել է: (2008)

When are emptiness and containment decidable for probabilistic automata?
‌: Daviaud, L, և այլն
Հրապարակվել է: (2021)

When is containment decidable for probabilistic automata?
‌: Daviaud, L, և այլն
Հրապարակվել է: (2018)

Model Checking One-clock Priced Timed Automata
‌: Patricia Bouyer, և այլն
Հրապարակվել է: (2008-06-01)

Advancing Natural Gas Price Predictions with ConcaveLSTM
‌: Mohammad Diqi, և այլն
Հրապարակվել է: (2024-04-01)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
‌: Peter Bulychev, և այլն
Հրապարակվել է: (2012-07-01)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
‌: Kwiatkowska, M, և այլն
Հրապարակվել է: (2017)

Entropies and Their Concavity and Schur-Concavity Conditions
‌: Tarald O. Kvalseth
Հրապարակվել է: (2022-01-01)

Improved Undecidability Results for Reachability Games on Recursive Timed Automata
‌: Shankara Narayanan Krishna, և այլն
Հրապարակվել է: (2014-08-01)

Multiplicative Concavity of the Integral of Multiplicatively Concave Functions
‌: Yu-Ming Chu, և այլն
Հրապարակվել է: (2010-01-01)

CONCAVE PDC CUTTER
‌: Vyacheslav V. Neskoromnykh, և այլն
Հրապարակվել է: (2022-04-01)

Action Transducers and Timed Automata
‌: Lynch, Nancy A., և այլն
Հրապարակվել է: (2023)

Bifurcation curve for the Minkowski-curvature equation with concave or geometrically concave nonlinearity
‌: Kuo-Chih Hung
Հրապարակվել է: (2024-08-01)

Revisiting reachability in timed automata
‌: Quaas, K, և այլն
Հրապարակվել է: (2017)

Spectral Gap in Timed Automata
‌: Asarin, E, և այլն
Հրապարակվել է: (2013)

Parametric Interrupt Timed Automata
‌: Bérard, B, և այլն
Հրապարակվել է: (2013)

Quantification of Iris Concavity
‌: Rouzbeh Amini, և այլն
Հրապարակվել է: (2010-01-01)

Alternating Timed Automata over Bounded Time
‌: Jenkins, M, և այլն
Հրապարակվել է: (2010)

Alternating Timed Automata over Bounded Time
‌: Jenkins, M, և այլն
Հրապարակվել է: (2010)

Translating timed automata to tock-CSP
‌: Khattri, M, և այլն
Հրապարակվել է: (2011)

Translating Timed Automata to Tock−CSP
‌: Khattri, M, և այլն
Հրապարակվել է: (2011)

Concavity and optimization in microeconomics /
‌: 187489 Madden, Paul
Հրապարակվել է: (1986)

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)

Adding Time to Pushdown Automata
‌: Parosh Aziz Abdulla, և այլն
Հրապարակվել է: (2012-12-01)

Zenoness for Timed Pushdown Automata
‌: Parosh Aziz Abdulla, և այլն
Հրապարակվել է: (2014-02-01)

How concave are river channels?
‌: S. M. Mudd, և այլն
Հրապարակվել է: (2018-06-01)

On an Integral Equation with Concave Nonlinearity
‌: Kh.A. Khachatryan, և այլն
Հրապարակվել է: (2024-12-01)

Time Granularities and Ultimately Periodic Automata
‌: Bresolin, D, և այլն
Հրապարակվել է: (2004)