16 citations · 63 across the 23 of their papers we have counts for
24 papers
Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior
Bogdan Czejdo, Wiktor B. Daszczuk, Waldemar Grabski +1
In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can a…
Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems
Bogdan Czejdo, Wiktor B. Daszczuk, Mikołaj Baszun
This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main dir…
Priority Rules on ATN (PRT) Intersections
Waldemar Grabski, Wiktor B. Daszczuk
In Autonomous Transit Networks some basic elements influence the throughput: network structure, maximum velocity, number of vehicles etc. Other parameters like station structure, d…
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm
Wiktor B. Daszczuk
The important feature of temporal model checking is the generation of counterexamples. In the report, the requirements for generation of counterexample (called critical tree) in mo…
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
Wiktor B. Daszczuk
During the project of a communication protocol, many design decisions influence the behavior of the protocol and its correctness. Formal specification and verification of the proto…
State Space Reduction for Reachability Graph of CSM Automata
Wiktor B. Daszczuk
Classical CTL temporal logics are built over systems with interleaving model concurrency. Many attempts are made to fight a state space explosion problem (for instance, composition…