Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Бібліографічні деталі
Автори:	Jovanović, A, Lime, D, Roux, O
Формат:	Conference item
Опубліковано:	Springer 2013

Схожі ресурси

Integer Parameter Synthesis for Timed Automata
за авторством: Jovanović, A, та інші
Опубліковано: (2013)

Integer Parameter Synthesis for Real−time Systems
за авторством: Jovanović, A, та інші
Опубліковано: (2014)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
за авторством: Brázdil, T, та інші
Опубліковано: (2009)

Parametric Interrupt Timed Automata
за авторством: Bérard, B, та інші
Опубліковано: (2013)

Expected Reachability−Time Games
за авторством: Forejt, V, та інші
Опубліковано: (2010)

Expected reachability-time games
за авторством: Forejt, V, та інші
Опубліковано: (2016)

Expected Reachability-Time Games.
за авторством: Forejt, V, та інші
Опубліковано: (2010)

Reachability−Time Games on Timed Automata
за авторством: Jurdzinski, M, та інші
Опубліковано: (2007)

Reachability in Stochastic Timed Games.
за авторством: Bouyer, P, та інші
Опубліковано: (2009)

On reachability for hybrid automata over bounded time
за авторством: Brihaye, T, та інші
Опубліковано: (2011)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
за авторством: Jovanovic, A, та інші
Опубліковано: (2017)

Reachability problems in nondeterministic polynomial maps on the integers
за авторством: Ko, SK, та інші
Опубліковано: (2018)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
за авторством: Jovanovic, A, та інші
Опубліковано: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
за авторством: Jovanović, A, та інші
Опубліковано: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
за авторством: Jovanović, A, та інші
Опубліковано: (2014)

Reachability in Succinct and Parametric One−Counter Automata
за авторством: Haase, C, та інші
Опубліковано: (2009)

Reachability in Succinct and Parametric One-Counter Automata
за авторством: Haase, C, та інші
Опубліковано: (2009)

Revisiting reachability in timed automata
за авторством: Quaas, K, та інші
Опубліковано: (2017)

Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
за авторством: Cardelli, L, та інші
Опубліковано: (2018)

Guaranteed error bounds on approximate model abstractions through reachability analysis
за авторством: Cardelli, L, та інші
Опубліковано: (2018)

Almost Optimal Super-Constant-Pass Streaming Lower Bounds for Reachability
за авторством: Chen, Lijie, та інші
Опубліковано: (2022)

Strategy complexity of reachability in countable stochastic 2-player games
за авторством: Kiefer, S, та інші
Опубліковано: (2024)

Parametric Integer Programming: The Right-Hand-Side-Case
за авторством: Marsten, Roy E., та інші
Опубліковано: (2004)

Parametric integer programming : the right-hand-side case
за авторством: Marsten, Roy Earl., та інші
Опубліковано: (2009)

On the decidability of reachability in linear time-invariant systems
за авторством: Fijalkow, N, та інші
Опубліковано: (2019)

Functional Reachability
за авторством: Ong, C, та інші
Опубліковано: (2009)

Applying integer programming techniques to find minimum integer weights of voting games
за авторством: Strauss, Aaron B., 1980-
Опубліковано: (2005)

On the Relationship between Reachability Problems in Timed and Counter Automata
за авторством: Haase, C, та інші
Опубліковано: (2012)

Time-optimal path tracking via reachability analysis
за авторством: Pham, Hung, та інші
Опубліковано: (2021)

On the relationship between reachability problems in timed and counter automata
за авторством: Haase, C, та інші
Опубліковано: (2012)

LTLf synthesis under environment specifications for reachability and safety properties
за авторством: Aminof, B, та інші
Опубліковано: (2023)

Pursuit-evasion games in dynamic flow fields via reachability set analysis
за авторством: Sun, Wei, та інші
Опубліковано: (2019)

On affine reachability problems
за авторством: Jaax, S, та інші
Опубліковано: (2020)

Minimal Reachability is Hard to Approximate
за авторством: Jadbabaie, A, та інші
Опубліковано: (2023)

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
за авторством: Bhargava, Nikhil, та інші
Опубліковано: (2019)

Reachability in pushdown register automata
за авторством: Murawski, A, та інші
Опубліковано: (2017)

Rounded [i.e. Bounded] branch and bound method for mixed integer nonlinear programming problems
за авторством: Akoka, Jacob
Опубліковано: (2009)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
за авторством: Baier, C, та інші
Опубліковано: (2022)

Reachability Analysis for Annotated Code
за авторством: Janota, M, та інші
Опубліковано: (2007)

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
за авторством: Abate, A, та інші
Опубліковано: (2008)