Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Chi tiết về thư mục
Những tác giả chính:	Jovanović, A, Lime, D, Roux, O
Định dạng:	Conference item
Được phát hành:	Springer 2013

Những quyển sách tương tự

Integer Parameter Synthesis for Timed Automata
Bằng: Jovanović, A, et al.
Được phát hành: (2013)

Integer Parameter Synthesis for Real−time Systems
Bằng: Jovanović, A, et al.
Được phát hành: (2014)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
Bằng: Brázdil, T, et al.
Được phát hành: (2009)

Parametric Interrupt Timed Automata
Bằng: Bérard, B, et al.
Được phát hành: (2013)

Expected Reachability−Time Games
Bằng: Forejt, V, et al.
Được phát hành: (2010)

Expected reachability-time games
Bằng: Forejt, V, et al.
Được phát hành: (2016)

Expected Reachability-Time Games.
Bằng: Forejt, V, et al.
Được phát hành: (2010)

Reachability−Time Games on Timed Automata
Bằng: Jurdzinski, M, et al.
Được phát hành: (2007)

Reachability in Stochastic Timed Games.
Bằng: Bouyer, P, et al.
Được phát hành: (2009)

On reachability for hybrid automata over bounded time
Bằng: Brihaye, T, et al.
Được phát hành: (2011)

Reachability problems in nondeterministic polynomial maps on the integers
Bằng: Ko, SK, et al.
Được phát hành: (2018)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Bằng: Jovanovic, A, et al.
Được phát hành: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Bằng: Jovanovic, A, et al.
Được phát hành: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Bằng: Jovanović, A, et al.
Được phát hành: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Bằng: Jovanović, A, et al.
Được phát hành: (2014)

Reachability in Succinct and Parametric One−Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2009)

Reachability in Succinct and Parametric One-Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2009)

Revisiting reachability in timed automata
Bằng: Quaas, K, et al.
Được phát hành: (2017)

Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Bằng: Cardelli, L, et al.
Được phát hành: (2018)

Guaranteed error bounds on approximate model abstractions through reachability analysis
Bằng: Cardelli, L, et al.
Được phát hành: (2018)

Almost Optimal Super-Constant-Pass Streaming Lower Bounds for Reachability
Bằng: Chen, Lijie, et al.
Được phát hành: (2022)

Strategy complexity of reachability in countable stochastic 2-player games
Bằng: Kiefer, S, et al.
Được phát hành: (2024)

Parametric Integer Programming: The Right-Hand-Side-Case
Bằng: Marsten, Roy E., et al.
Được phát hành: (2004)

Parametric integer programming : the right-hand-side case
Bằng: Marsten, Roy Earl., et al.
Được phát hành: (2009)

On the decidability of reachability in linear time-invariant systems
Bằng: Fijalkow, N, et al.
Được phát hành: (2019)

Functional Reachability
Bằng: Ong, C, et al.
Được phát hành: (2009)

Applying integer programming techniques to find minimum integer weights of voting games
Bằng: Strauss, Aaron B., 1980-
Được phát hành: (2005)

On the Relationship between Reachability Problems in Timed and Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2012)

Time-optimal path tracking via reachability analysis
Bằng: Pham, Hung, et al.
Được phát hành: (2021)

On the relationship between reachability problems in timed and counter automata
Bằng: Haase, C, et al.
Được phát hành: (2012)

LTLf synthesis under environment specifications for reachability and safety properties
Bằng: Aminof, B, et al.
Được phát hành: (2023)

Pursuit-evasion games in dynamic flow fields via reachability set analysis
Bằng: Sun, Wei, et al.
Được phát hành: (2019)

On affine reachability problems
Bằng: Jaax, S, et al.
Được phát hành: (2020)

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
Bằng: Bhargava, Nikhil, et al.
Được phát hành: (2019)

Minimal Reachability is Hard to Approximate
Bằng: Jadbabaie, A, et al.
Được phát hành: (2023)

Reachability in pushdown register automata
Bằng: Murawski, A, et al.
Được phát hành: (2017)

Rounded [i.e. Bounded] branch and bound method for mixed integer nonlinear programming problems
Bằng: Akoka, Jacob
Được phát hành: (2009)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Bằng: Abate, A, et al.
Được phát hành: (2008)

Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
Bằng: Abate, A, et al.
Được phát hành: (2008)