pith. sign in

Wiktor B. Daszczuk

Identifiers

No identifiers captured yet.

Papers (26)

  1. Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior cs.RO · 2018 · author #2
  2. Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems cs.MA · 2017 · author #2
  3. Priority Rules on ATN (PRT) Intersections cs.MA · 2017 · author #2
  4. Critical trees: counterexamples in model checking of CSM systems using CBS algorithm cs.SE · 2017 · author #1
  5. Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas cs.SE · 2017 · author #1
  6. State Space Reduction for Reachability Graph of CSM Automata cs.SE · 2017 · author #1
  7. JADE - A Platform for Research on Cooperation of Physical and Virtual Agents cs.MA · 2017 · author #1
  8. Macrogeneration and Automata Libraries For COSMA design environment cs.SE · 2017 · author #1
  9. Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2 cs.DC · 2017 · author #1
  10. Timed Concurrent State Machines cs.LO · 2017 · author #1
  11. Communication Dualism in Distributed Systems with Petri Net Interpretation cs.DC · 2017 · author #2
  12. Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network cs.DC · 2017 · author #1
  13. Proposed benchmarks for PRT networks simulation physics.soc-ph · 2017 · author #2
  14. Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3 cs.SE · 2017 · author #1
  15. Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment cs.DC · 2017 · author #1
  16. Practical Approach to Distributed Systems' Design cs.DC · 2017 · author #2
  17. Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing cs.SE · 2017 · author #3
  18. Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions cs.SY · 2017 · author #1
  19. Discrete Event Simulation of Personal Rapid Transit (PRT) Systems cs.OH · 2017 · author #1
  20. Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation cs.SE · 2017 · author #4
  21. Verification of Concurrent Engineering Software Using CSM Models cs.SE · 2017 · author #3
  22. Concurrent Software Design Based on Constraints on State Diagrams cs.SE · 2017 · author #2
  23. System level specification and verification using Concurrent State Machines and COSMA environment cs.SE · 2017 · author #1
  24. Behavioral an real-time verification of a pipeline in the COSMA environment cs.SE · 2017 · author #2
  25. Evaluation of Temporal Formulas Based on "Checking By Spheres" cs.SE · 2017 · author #1
  26. System Modeling in the COSMA Environment cs.DC · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors