Search results
From MaRDI portal
- Paper First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time 2012-06-22 Paper First-Order Model Checking...10 bytes (16 words) - 14:05, 7 October 2023
- de/entity/Q3086924 2011-03-30 Paper Compact labelings for efficient first-order model-checking 2011-02-18 Paper https://portal.mardi4nfdi.de/entity/Q3077955...10 bytes (17 words) - 10:24, 8 December 2023
- systems based on model checking 2012-09-27 Paper Achieving distributed control through model checking 2012-09-27 Paper The Buck Stops Here: Order, Chance, and...10 bytes (19 words) - 04:20, 9 December 2023
- 2012-02-28 Paper First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment 2011-11-22 Paper Model Checking Optimisation...10 bytes (16 words) - 11:34, 12 December 2023
- phase threshold multiplicative error model 2017-03-10 Paper Minimum distance partial linear regression model checking with Berkson measurement errors 2016-04-22...10 bytes (19 words) - 11:25, 8 December 2023
- constraints 2010-09-15 Paper Model checking memoryful linear-time logics over one-counter automata 2010-05-27 Paper When Model-Checking Freeze LTL over Counter...10 bytes (18 words) - 07:38, 9 December 2023
- with Decidable Model Checking 2006-12-04 Paper Computer Science Logic 2006-11-01 Paper Periodicity based decidable classes in a first order timed logic 2006-04-28...10 bytes (17 words) - 18:34, 9 December 2023
- de/entity/Q5144616 2021-01-19 Paper Adding Successor 2019-11-22 Paper Going Higher in First-Order Quantifier Alternation Hierarchies on Words 2019-11-21 Paper The linear...10 bytes (16 words) - 01:45, 12 December 2023
- strong cyclic planning via symbolic model checking 2006-02-07 Paper Conformant planning via symbolic model checking and heuristic search 2006-02-07 Paper...10 bytes (17 words) - 10:34, 11 December 2023
- Axiomatizing the monodic fragment of first-order temporal logic 2002-12-02 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper https://portal...10 bytes (17 words) - 23:16, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q3024855 2005-07-04 Paper Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) 2004-11-19...10 bytes (18 words) - 14:29, 11 December 2023
- of pushdown automata via first-order grammars 2020-10-23 Paper Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation...10 bytes (16 words) - 02:05, 9 December 2023
- 2019-09-10 Paper Bivariate first-order random coefficient integer-valued autoregressive processes 2019-08-09 Paper First-order random coefficients integer-valued...10 bytes (17 words) - 00:26, 10 December 2023
- Bounded Conformance Checking of Model Programs 2010-02-02 Paper Satisfiability Modulo Theories: An Appetizer 2009-12-09 Paper Input-Output Model Programs 2009-08-20...10 bytes (17 words) - 02:18, 12 December 2023
- 2016-01-21 Paper Competent predicate abstraction in model checking 2011-06-17 Paper Symbolic Model Checking the Knowledge in Herbivore Protocol 2011-05-27 Paper...10 bytes (16 words) - 06:55, 12 December 2023
- Paper Modal Transition Systems: Composition and LTL Model Checking 2011-10-07 Paper Partial order reduction for state/event LTL with application to component-interaction...10 bytes (16 words) - 08:00, 12 December 2023
- partial model checking 2020-11-02 Paper Almost Event-Rate Independent Monitoring of Metric Temporal Logic 2020-08-05 Paper Adaptive Online First-Order Monitoring...10 bytes (19 words) - 00:42, 9 December 2023
- strong cyclic planning via symbolic model checking 2006-02-07 Paper Conformant planning via symbolic model checking and heuristic search 2006-02-07 Paper...10 bytes (17 words) - 10:34, 11 December 2023
- 2013-08-08 Paper Expressing second-order sentences in intuitionistic dependence logic 2013-06-13 Paper Model Checking for Modal Intuitionistic Dependence...10 bytes (17 words) - 14:18, 10 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
