UNIRIO - Departamento de Informatica Aplicada,Av Pasteur, 458 - Terreo - Rio de Janeiro, Brazil;
UNIRIO - Departamento de Informatica Aplicada,Av Pasteur, 458 - Terreo - Rio de Janeiro, Brazil;
Universidade Federal de Santa Maria - Dep. de Eletronica e Computagao,Campus Universitario - pr. 07, 3° and. Santa Maria, RS, Brazil;
PUC-Rio - Departamento de Informatica Rua Marques de Sao Vicente, 225 - Rio de Janeiro, Brazil;
interactive storytelling; constraint programming; temporal logics; continuous change; branching time;
机译:严格反馈形式的连续时间非线性系统的鲁棒约束满足
机译:托卡马克等离子体形状控制中电流极限约束满足的非线性方法
机译:间隔观测器设计,用于非线性连续时间系统的一致性检查
机译:一种检查非线性故事满足连续时间约束的方法
机译:替代非线性混合模型的拟合优度检验方法及其在肉牛生育性状中的应用
机译:不具有局部陷阱的不对称连续时间神经网络用于解决约束满意度问题
机译:不带局部陷阱的非对称连续时间神经网络解决约束满足问题。