Software engineering; Robotics; Asynchronous systems; Verification; Planning; Semimarkov processes; Decision theory; Algorithms; Robots; Probability density functions; Case studies; Computer networks; Hypotheses; Artificial intelligence; Errors; Quality; Statistical samples; Theses; Computer programming; Decision making; Queueing theory; Computerized simulation;
机译:启动多余事件的异步双随机流
机译:不完整可观测性下事件双随机随机流的死时间估计
机译:通信硬件过程的语义及其转换为Lotos以便用Cadp验证异步电路的语义
机译:异步事件随机决策过程的形式主义
机译:*对具有异步事件的随机过程的验证和计划。
机译:失败事件随着时间的起源pROCEssEs随机落后估计
机译:关于通信硬件过程的语义并将其转换为LOTOS以使用CADP验证异步电路