共 50 条
[41]
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability
[J].
RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS,
2008,
:173-182
[42]
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
[J].
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2018,
2018, 11024
:389-406
[43]
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II,
2019, 11428
:191-208
[44]
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
[J].
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019,
2019, 11522
:406-425
[48]
BACH 2: Bounded ReachAbility CHecker for Compositional Linear Hybrid Systems
[J].
2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010),
2010,
:1512-1517
[49]
Revisiting Reachability in Timed Automata
[J].
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS),
2017,
[50]
Reachability in Pushdown Register Automata
[J].
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I,
2014, 8634
:464-+