26 citations · 64 across the 9 of their papers we have counts for
5 papers · 1 filter
Formalization of Complex Vectors in Higher-Order Logic
Sanaz Khan-Afshar, Vincent Aravantinos, Osman Hasan +1
Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formaliz…
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud +4
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous natur…
Decidability and Undecidability Results for Propositional Schemata
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized b…
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata i…
A Decidable Class of Nested Iterated Schemata (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its inpu…