Logic-driven approaches for smart, safe and energy-efficient aviation
Author: Amit Bhatia
Paper Information
| Title: | Logic-driven approaches for smart, safe and energy-efficient aviation |
| Authors: | Amit Bhatia |
| Proceedings: | VardiFest22 Talk Abstracts |
| Editors: | Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang |
| Keywords: | Logic, Aerospace, Aviation, Knowledge Acquisition, Reasoning, Planning, Energy Efficiency |
| Pages: | 1 |
| Talk: | Aug 01 11:55 (Session 32) |
| Paper: |  |