Search results
From MaRDI portal
- Verification, Model Checking, and Abstract Interpretation 2009-05-15 Paper Multi-Objective Model Checking of Markov Decision Processes 2009-04-29 Paper First-Order...10 bytes (16 words) - 22:41, 10 December 2023
- Star-freeness, first-order definability and aperiodicity of structured context-free languages 2021-07-08 Paper Operator precedence temporal logic and model checking...10 bytes (17 words) - 05:39, 12 December 2023
- timed automata specified in a first order logic with time 2002-07-31 Paper Groups and tilings 2002-07-15 Paper A first order logic for specification of timed...10 bytes (16 words) - 18:34, 9 December 2023
- 2012-06-22 Paper Verification, Model Checking, and Abstract Interpretation 2009-05-15 Paper Towards Efficient Satisfiability Checking for Boolean Algebra with...10 bytes (19 words) - 03:01, 13 December 2023
- Automata-based Model Checking 2014-05-12 Paper Improved Multi-Core Nested Depth-First Search 2012-11-21 Paper Hybrid On-the-Fly LTL Model Checking with the Sweep-Line...10 bytes (16 words) - 09:11, 7 October 2023
- 1985-01-01 Paper Higher order generalisation of first order autoregressive tests 1985-01-01 Paper A new test for fourth-order autoregressive disturbances...10 bytes (19 words) - 01:40, 10 December 2023
- 2008-08-19 Paper Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic 2008-05-15 Paper The Complexity of Model Checking Higher-Order Fixpoint...10 bytes (16 words) - 06:46, 7 October 2023
- reasoning and its application to satisfiability checking 2019-11-18 Paper First-order vs. second-order encodings for \textsc{ltl}\(_f\)-to-automata translation...10 bytes (19 words) - 07:50, 9 December 2023
- Alternating complexity of counting first-order logic for the subword order 2023-03-01 Paper The Subtrace Order and Counting First-Order Logic 2022-10-19 Paper https://portal...10 bytes (16 words) - 10:20, 9 December 2023
- mardi4nfdi.de/entity/Q5738927 2017-06-13 Paper Variable independence for first-order definable constraints 2017-06-13 Paper Graph Logics with Rational Relations...10 bytes (19 words) - 01:39, 10 December 2023
- of second order nonlinear impulsive integro-differential equations in Banach spaces. 2004-03-23 Paper Exact controllability for first order quasilinear...10 bytes (17 words) - 14:22, 12 December 2023
- on search strategies for cell assignments 2005-01-14 Paper Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) 2004-11-19...10 bytes (16 words) - 14:57, 11 December 2023
- 2013-08-07 Paper LTL Model Checking of Interval Markov Chains 2013-08-05 Paper Two Variable vs. Linear Temporal Logic in Model Checking and Games 2013-06-20...10 bytes (17 words) - 19:09, 11 December 2023
- 2009-12-01 Paper Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic 2009-03-17 Paper Grey-Box Checking 2009-03-11 Paper Automatic generation...10 bytes (16 words) - 17:16, 6 October 2023
- quantified modal logic 2022-10-28 Paper Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications 2022-05-16 Paper https://portal...10 bytes (16 words) - 00:35, 13 December 2023
- Coherence in inquisitive first-order logic 2022-08-02 Paper Completeness for the classical antecedent fragment of inquisitive first-order logic 2022-01-28 Paper...10 bytes (16 words) - 19:24, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5875364 2023-02-03 Paper Algebraic model checking for discrete linear dynamical systems 2023-01-18 Paper Sequential Relational...10 bytes (18 words) - 22:27, 11 December 2023
- production rule sets 2013-01-16 Paper Model Checking LTLR Formulas under Localized Fairness 2012-10-16 Paper Order-Sorted Equality Enrichments Modulo Axioms...10 bytes (17 words) - 11:55, 11 December 2023
- pushdown model checking 2007-07-16 Paper Verification, Model Checking, and Abstract Interpretation 2007-02-12 Paper Verification, Model Checking, and Abstract...10 bytes (16 words) - 07:56, 7 October 2023
- twin-width 2021-07-08 Paper A New Perspective on FO Model Checking of Dense Graph Classes 2020-09-11 Paper First-Order Interpretations of Bounded Expansion Classes...10 bytes (16 words) - 09:53, 7 October 2023
