- Generátor prostředí pro Java PathFinder +1Publikace bez příslušnosti k fakultě
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Abstract Pathfinder2012 | Matematicko-fyzikální fakulta
- Online Multi-Agent Pathfinding2019 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?2022 | Matematicko-fyzikální fakulta
- Modeling and Solving the Multi-agent Pathfinding Problem in Picat2017 | Matematicko-fyzikální fakulta
- Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks2019 | Matematicko-fyzikální fakulta
- Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?2023 | Matematicko-fyzikální fakulta
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- Stopař Thoma Gunna2004 | Matematicko-fyzikální fakulta
- Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling2022 | Matematicko-fyzikální fakulta
- Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning2022 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding2017 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- JPF-staticPublikace bez příslušnosti k fakultě
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta