English Arrow-Debrew exchange market Cited by user Erel Segal on 14 Mar 2024 In theoretical economics, an Arrow-Debreu exchange market is a special case of the Arrow-Debreu model in which there is no production - there is only an exchange of…
English Market equilibrium computation Cited by user Erel Segal on 05 Mar 2021 Market equilibrium computation (also called competitive equilibrium computation or clearing-prices computation) is a computational problem in the intersection of…
English Timed propositional temporal logic Cited by user Arthur MILCHIOR on 21 Mar 2019 In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL) in which variables…
English Metric temporal logic Cited by user Arthur MILCHIOR on 21 Mar 2019 Metric temporal logic (MTL) is a special case of temporal logic. It is an extension of temporal logic in which temporal operators are replaced by time-constrained…