Introducing interval differential dynamic logic
Differential dynamic logic ( dL ) is a dynamic logic with first-order features which allows us to describe and reason about hybrid systems. We have already used this logic to reason about biological models. Here we explore some variants of its semantics in order to obtain a simplified and more intui...
| Autor principal: | |
|---|---|
| Formato: | bookPart |
| Idioma: | eng |
| Publicado em: |
2022
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10773/32970 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/32970 |