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)