Abstract
SQCA is an implemented technique for the semi-quantitative comparative analysis of dynamical systems. It is both able to deal with incompletely specified models and make precise predictions by exploiting semi-quantitative information in the form of numerical bounds on the variables and functions occuring in the models. The technique has a solid mathematical foundation which facilitates proofs of correctness and convergence properties.
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI'99 |
| Place of Publication | San Francisco, USA |
| Pages | 1034-1040 |
| Publication status | Published - 4 Feb 1999 |
| Event | 16th International Joint Conference on Artificial Intelligence, IJCAI 1999 - Stockholm, Sweden Duration: 31 Jul 1999 → 6 Aug 1999 Conference number: 16 |
Conference
| Conference | 16th International Joint Conference on Artificial Intelligence, IJCAI 1999 |
|---|---|
| Abbreviated title | IJCAI 1999 |
| Country/Territory | Sweden |
| City | Stockholm |
| Period | 31/07/99 → 6/08/99 |
Keywords
- METIS-119707
- IR-59858