Search results
From MaRDI portal
- Model Checking 2009-06-30 Paper Compositional Verification for Component-Based Systems and Application 2008-11-20 Paper Automatic generation of path conditions...10 bytes (16 words) - 01:18, 12 December 2023
- Solving finite-linear-path CTL-formulas using the CEGAR approach 2021-06-14 Paper How Petri net theory serves Petri net model checking: a survey 2021-06-14...10 bytes (16 words) - 02:02, 13 December 2023
- de/entity/Q4673429 2005-04-29 Paper DP lower bounds for equivalence-checking and model-checking of one-counter automata 2004-11-23 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 02:05, 9 December 2023
- 2014-07-08 Paper On the Complexity of Temporal-Logic Path Checking 2014-07-01 Paper On the Positivity Problem for Simple Linear Recurrence Sequences, 2014-07-01...10 bytes (18 words) - 22:27, 11 December 2023
- solving the crossing minimization problem 2012-04-04 Paper Revised GRASP with path-relinking for the linear ordering problem 2012-04-04 Paper A modified power...10 bytes (19 words) - 14:56, 7 December 2023
- Proof of Linear Hybrid Automata during Bounded Checking Procedure 2017-06-08 Paper SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of...10 bytes (16 words) - 21:26, 24 September 2023
- Energy Functions 2017-08-25 Paper Path Checking for MTL and TPTL over Data Words 2015-11-10 Paper Verification for Timed Automata extended with Unbounded Discrete...10 bytes (16 words) - 07:16, 12 December 2023
- de/entity/Q4824484 2004-11-01 Paper Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon 2004-08-06 Paper https://portal...10 bytes (17 words) - 18:34, 9 December 2023
- assignment problem 2011-06-16 Paper Vertex cover problem parameterized above and below tight bounds 2011-03-30 Paper A probabilistic approach to problems parameterized...10 bytes (18 words) - 10:09, 8 December 2023
- distributionally robust shortest path problem 2022-03-07 Paper On integer programming models for the maximum 2-club problem and its robust generalizations...10 bytes (18 words) - 02:34, 10 December 2023
- bound for checking disjointness of sets 1984-01-01 Paper The Effect of Number of Hamiltonian Paths on the Complexity of a Vertex-Coloring Problem 1984-01-01...10 bytes (17 words) - 22:10, 12 December 2023
- algorithm for the orbit problem over cyclic groups 2016-08-22 Paper Regular Symmetry Patterns 2016-03-23 Paper Expressive Path Queries on Graph with Data...10 bytes (18 words) - 23:47, 10 December 2023
- Satisfiability checking for mission-time \textsf{LTL} (MLTL) 2022-12-08 Paper A nonstandard approach to the logical omniscience problem 2022-09-21 Paper...10 bytes (19 words) - 07:50, 9 December 2023
- 1994-01-23 Paper Synthesis of a new systolic architecture for the algebraic path problem 1990-01-01 Paper...10 bytes (16 words) - 16:53, 12 December 2023
- of Timed Systems 2006-11-14 Paper Model checking restricted sets of timed paths 2006-09-13 Paper On model-checking timed automata with stopwatch observers...10 bytes (19 words) - 16:50, 9 December 2023
- Paper Mu-calculus path checking 2009-12-18 Paper Validation of Stochastic Systems 2009-07-24 Paper A PTIME-complete matching problem for SLP-compressed...10 bytes (16 words) - 02:05, 9 December 2023
- NAE2SAT problem 2011-04-06 Paper Two-level heaps: a new priority queue structure with applications to the single source shortest path problem 2010-11-23...10 bytes (19 words) - 00:03, 10 December 2023
- fairness-oriented crew rostering problem 2023-07-04 Paper Train rotation optimization 2022-10-25 Paper An improved multiobjective shortest path algorithm 2022-03-09...10 bytes (16 words) - 07:13, 9 December 2023
- the fixed-parameter tractability of parameterized model-checking problems 2010-04-19 Paper On the power of deep pushdown stacks 2009-11-16 Paper Program...10 bytes (18 words) - 00:40, 10 December 2023
- Decoupling in SPIN 2023-03-21 Paper Deep Statistical Model Checking 2022-10-13 Paper Model checking \(\omega \)-regular properties with decoupled search 2022-03-25...10 bytes (16 words) - 10:39, 6 October 2023
