Search results
From MaRDI portal
- Presburger Arithmetic 2015-10-28 Paper LTL with the freeze quantifier and register automata 2015-09-17 Paper Taming past LTL and flat counter systems 2015-06-01...10 bytes (18 words) - 07:38, 9 December 2023
- Paper Flat model checking for counting LTL using quantifier-free Presburger arithmetic 2020-01-23 Paper On Freeze LTL with Ordered Attributes 2016-06-10 Paper...10 bytes (16 words) - 02:23, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5111643 2020-05-27 Paper On Freeze LTL with Ordered Attributes 2016-06-10 Paper Ordered Navigation on Multi-attributed...10 bytes (16 words) - 12:11, 6 October 2023
- logics over one-counter automata 2010-05-27 Paper When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 2010-04-27 Paper Mixing Coverability...10 bytes (16 words) - 12:53, 7 October 2023
- Freezing LTL 2008-04-17 Paper Model Checking Freeze LTL over One-Counter Automata 2008-04-11 Paper On the freeze quantifier in Constraint LTL: Decidability...10 bytes (16 words) - 09:43, 7 October 2023
- REASONING ABOUT TRANSFINITE SEQUENCES 2007-03-13 Paper On the freeze quantifier in Constraint LTL: Decidability and complexity 2007-02-19 Paper Automated Technology...10 bytes (18 words) - 14:53, 28 January 2024
- https://arxiv.org/abs/1412.3644 zbMATH Keywords metric temporal logic; data words; freeze LTL; deterministic one-counter machines; path checking problem; times propositional...15 bytes (97 words) - 15:59, 2 May 2024
- date: 27 May 2020 zbMATH Keywords model checking; one-counter automata; freeze LTL Mathematics Subject Classification ID 68Q25: Analysis of algorithms and...15 bytes (56 words) - 14:34, 8 February 2024
- reachability; Presburger arithmetic; one-counter automata; disequality tests; freeze LTL Mathematics Subject Classification ID 03D05: Automata and formal grammars...15 bytes (69 words) - 15:07, 7 February 2024
- 06124 zbMATH Keywords model checking; data words; one-counter automata; freeze LTL Mathematics Subject Classification ID 68Q25: Analysis of algorithms and...15 bytes (71 words) - 10:03, 8 February 2024
- reachability; Presburger arithmetic; one-counter automata; disequality tests; Freeze LTL Mathematics Subject Classification ID 03D05: Automata and formal grammars...15 bytes (82 words) - 15:17, 7 February 2024
- temporal logic; data words; Ehrenfeucht-Fraïssé games; one-counter machines; Freeze LTL; timed propositional temporal logic Mathematics Subject Classification...15 bytes (85 words) - 18:41, 8 February 2024
