TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 71 records were found in 0.297 seconds
Cost-optimal Strong Planning in Non-deterministic Domains
ICINCO (1), 56-66, 2011
Automatic generation of optimal controllers through model checking techniques
ICINCO-ICSO, 26-33, 2006
A Model Checking Technique for the Verification of Fuzzy Control Systems
CIMCA/IAWTIC, 536-542, 2005
A problem on easy terms in Calculus
Fundam. Inform., 15(1):99-106, 1991