Approximate bisimulation for linear semi-algebraic transition systems

被引：1
|
作者：
School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China [1 ]
不详 [2 ]
机构：
来源：
Jilin Daxue Xuebao (Gongxueban) | / 4卷 / 1052-1058期
关键词：
D O I：
10.7964/jdxbgxb201304033
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Program Verification by Reduction to Semi-algebraic Systems Solving
    Xia, Bican
    Yang, Lu
    Zhan, Naijun
    [J]. Communications in Computer and Information Science, 2009, 17 : 277 - 291
  • [22] Solving parameter-dependent semi-algebraic systems
    Gaillard, Louis
    El Din, Mohab Safey
    [J]. PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024, 2024, : 447 - 456
  • [23] An algorithm for isolating the real solutions of semi-algebraic systems
    Xia, BC
    Yang, L
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2002, 34 (05) : 461 - 477
  • [24] Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
    Mover, Sergio
    Cimatti, Alessandro
    Griggio, Alberto
    Irfan, Ahmed
    Tonetta, Stefano
    [J]. COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 529 - 551
  • [25] Program Verification by Reduction to Semi-algebraic Systems Solving
    Xia, Bican
    Yang, Lu
    Zhan, Naijun
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 277 - +
  • [26] Semi-algebraic Ramsey numbers
    Suk, Andrew
    [J]. JOURNAL OF COMBINATORIAL THEORY SERIES B, 2016, 116 : 465 - 483
  • [27] Classification of semi-algebraic p-adic sets up to semi-algebraic bijection
    Cluckers, R
    [J]. JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2001, 540 : 105 - 114
  • [28] Algebraic boundaries of convex semi-algebraic sets
    Sinn, Rainer
    [J]. RESEARCH IN THE MATHEMATICAL SCIENCES, 2015, 2 (01)
  • [29] QUOTIENTS OF SEMI-ALGEBRAIC SPACES
    SCHEIDERER, C
    [J]. MATHEMATISCHE ZEITSCHRIFT, 1989, 201 (02) : 249 - 271
  • [30] Connectivity in Semi-algebraic sets
    Hong, Hoon
    [J]. 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 4 - 7
12345