State-space coverage estimation

被引：0
|
作者：
Taleghani, Ali [1 ]
Atlee, Joanne M. [1 ]
机构：
[1] David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
来源：
ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering | 2009年
关键词：
Compendex;
D O I：
24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
页码：459 / 467
相关论文
共 50 条
  • [1] State-Space Coverage Estimation
    Taleghani, Ali
    Atlee, Joanne M.
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 459 - 467
  • [2] Balancing State-Space Coverage in Planning with Dynamics
    Li, Yanbo
    Bekris, Kostas E.
    2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, : 3246 - 3253
  • [3] State-space estimation with uncertain models
    Sayed, AH
    Subramanian, A
    TOTAL LEAST SQUARES AND ERRORS-IN-VARIABLES MODELING: ANALYSIS, ALGORITHMS AND APPLICATIONS, 2002, : 191 - 202
  • [4] A State-Space Backpropagation Algorithm for Nonlinear Estimation
    Hasan A. Bjaili
    Muhammad Moinuddin
    Ali M. Rushdi
    Circuits, Systems, and Signal Processing, 2019, 38 : 3682 - 3696
  • [5] Estimation in continuous state-space branching processes
    Kale, M
    Deshmukh, SR
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2001, 92 (1-2) : 111 - 119
  • [6] Adaptive State-Space Multitaper Spectral Estimation
    Song, Andrew H.
    Kim, Seong-Eun
    Brown, Emery N.
    IEEE SIGNAL PROCESSING LETTERS, 2022, 29 : 523 - 527
  • [7] A framework for state-space estimation with uncertain models
    Sayed, AH
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (07) : 998 - 1013
  • [8] A State-Space Backpropagation Algorithm for Nonlinear Estimation
    Bjaili, Hasan A.
    Moinuddin, Muhammad
    Rushdi, Ali M.
    CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 2019, 38 (08) : 3682 - 3696
  • [9] State estimation for nonlinear state-space transmission models of tuberculosis
    Strydom, Duayne
    le Roux, Johan Derik
    Craig, Ian Keith
    RISK ANALYSIS, 2023, 43 (02) : 339 - 357
  • [10] State Estimation for a Class of Piecewise Affine State-Space Models
    Rui, Rafael
    Ardeshiri, Tohid
    Nurminen, Henri
    Bazanella, Alexandre
    Gustafsson, Fredrik
    IEEE SIGNAL PROCESSING LETTERS, 2017, 24 (01) : 61 - 65
12345