- Location
-
Hannover TIB
- Extent
-
79MB, 00:16:59:21 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
hybrid systems
theorem proving
dynamic logic
formal verification
cyber-physical systems
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Kolčák, Juraj
Katsumata, Shin-ya
Dubut, Jérémy
Yamada, Akihisa
Hasuo, Ichiro
Sprunger, David
- DOI
-
10.5446/55024
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Kolčák, Juraj
- Katsumata, Shin-ya
- Dubut, Jérémy
- Yamada, Akihisa
- Hasuo, Ichiro
- Sprunger, David
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling