Proving properties of continuous systems: qualitative simulation and temporal logic
| Autor: | Shults, B., Kuipers, B. J. |
|---|---|
| Zdroj: | Artificial Intelligence; 1997, Vol. 92 Issue: 1 p91-130, 40p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|
| Autor: | Shults, B., Kuipers, B. J. |
|---|---|
| Zdroj: | Artificial Intelligence; 1997, Vol. 92 Issue: 1 p91-130, 40p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|
Full Text from ScienceDirect