| Publication | Date of Publication | Type |
|---|
| On the exploitation of control knowledge for enhancing automated planning | 2025-01-16 | Paper |
| Improved SARSA and DQN algorithms for reinforcement learning | 2025-01-08 | Paper |
| A dynamic parameter adaptive path planning algorithm | 2024-09-16 | Paper |
| An approach to agent path planning under temporal logic constraints | 2024-08-22 | Paper |
| A novel approach to verifying context free properties of programs | 2023-10-16 | Paper |
| Transforming multi-matching nested traceable automata to multi-matching nested expressions | 2023-03-21 | Paper |
| A proof system for unified temporal logic | 2023-02-24 | Paper |
| PPTL specification mining based on LNFG | 2022-10-24 | Paper |
| A Proof System for MSVL Programs in Coq | 2021-05-20 | Paper |
| \textsc{LtlNfBa}: making LTL translation more practical | 2021-05-20 | Paper |
| Unified temporal logic | 2021-04-08 | Paper |
| Multi-matching nested relations | 2021-01-25 | Paper |
| Verify heaps via unified model checking | 2020-04-08 | Paper |
| Translating Xd-C programs to MSVL programs | 2020-01-29 | Paper |
| A novel approach to verifying context free properties of programs | 2020-01-29 | Paper |
| Model checking Petri nets with MSVL | 2019-12-13 | Paper |
| Index set expressions can represent temporal logic formulas | 2019-08-09 | Paper |
| A temporal logic programming approach to planning | 2019-06-25 | Paper |
| Verifying a scheduling protocol of safety-critical systems | 2019-06-25 | Paper |
| Model checking open systems with alternating projection temporal logic | 2019-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4624677 | 2019-02-22 | Paper |
| A compiler for MSVL and its applications | 2018-12-05 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
| Cloning automata: simulation and analysis of computer bacteria | 2018-02-26 | Paper |
| On general threshold and general cascade models of social influence | 2018-02-21 | Paper |
| Using Unified Model Checking to Verify Heaps | 2017-02-01 | Paper |
| A mechanism of function calls in MSVL | 2016-11-24 | Paper |
| Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\) | 2016-10-06 | Paper |
| Satisfiability of Linear Time Mu-Calculus on Finite Traces | 2016-09-02 | Paper |
| Verifying safety critical task scheduling systems in PPTL axiom system | 2016-02-23 | Paper |
| Symbolic Model Checking for Alternating Projection Temporal Logic | 2016-02-05 | Paper |
| Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts | 2015-12-11 | Paper |
| A canonical form based decision procedure and model checking approach for propositional projection temporal logic | 2015-12-11 | Paper |
| A complete axiom system for propositional projection temporal logic with cylinder computation model | 2015-12-11 | Paper |
| Model Checking MSVL Programs Based on Dynamic Symbolic Execution | 2015-10-29 | Paper |
| Improved Even Order Magic Square Construction Algorithms and Their Applications | 2015-09-11 | Paper |
| An extended strange planet protocol | 2015-07-28 | Paper |
| A structural transformation from p-\(\pi\) to MSVL | 2015-07-10 | Paper |
| Transformation from PLTL to automata via NFGs | 2015-02-16 | Paper |
| A formal proof of the deadline driven scheduler in PPTL axiomatic system | 2014-10-06 | Paper |
| A practical decision procedure for propositional projection temporal logic with infinite models | 2014-10-06 | Paper |
| An Axiomatization for Cylinder Computation Model | 2014-09-26 | Paper |
| Normal Form Expressions of Propositional Projection Temporal Logic | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5418261 | 2014-06-03 | Paper |
| Secure communications with strange planet protocol | 2014-03-14 | Paper |
| A cylinder computation model for many-core parallel computing | 2014-01-10 | Paper |
| An Extended Strange Planet Protocol | 2013-12-10 | Paper |
| Some Fixed-Point Issues in PPTL | 2013-08-16 | Paper |
| Deternimization of Büchi Automata as Partitioned Automata | 2013-06-11 | Paper |
| Bounded Model Checking for Propositional Projection Temporal Logic | 2013-06-11 | Paper |
| An efficient approach for abstraction-refinement in model checking | 2012-11-27 | Paper |
| Making Abstraction-Refinement Efficient in Model Checking | 2011-08-17 | Paper |
| Expressiveness of propositional projection temporal logic with star | 2011-04-05 | Paper |
| A Transformation from PPTL to S1S | 2011-01-10 | Paper |
| A note on stutter-invariant PLTL | 2010-08-20 | Paper |
| Complexity of propositional projection temporal logic with star | 2009-03-24 | Paper |
| Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions | 2008-05-27 | Paper |
| A decision procedure for propositional projection temporal logic with infinite models | 2008-04-03 | Paper |
| Decidability of Propositional Projection Temporal Logic with Infinite Models | 2007-11-13 | Paper |
