Publications


Benda, P. 2004 Cooperative searching in RoboCup Rescue simulation system, detail

Rehák, M., Pěchouček, M., Benda, P., Foltýn, L. 2005 Fuzzy Number Approach to Trust in Coalition Environment, detail

Rehák, M., Foltýn, L., Pěchouček, M., Benda, P. 2005 Trust Model for Open Ubiquitous Agent Systems, detail

Šišlák, D., Rehák, M., Pěchouček, M., Benda, P. 2005 Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment, detail

Šišlák, D., Pěchouček, M., Rehák, M., Tožička, J., Benda, P. 2005 Solving Inaccessibility in Multi-Agent Systems By Mobile Middle-Agents, detail

Benda, P., Jisl, P., Pěchouček, M., Suri, N., Carvalho, M. 2006 A Distributed Stand-in Based Algorithm for Opportunistic Resource Allocation, detail

Benda, P., Jisl, P. 2006 A Distributed Stand-in Agent Based Algorithm for Opportunistic Resource Allocation, detail

Benda, P. 2007 Design of Mobile Ad Hoc Networks in Domains with High Level of Communication Inaccessibility, detail

Kulich, M., Rollo, M., Mázl, R., Chudoba, J., Benda, P., Přeučil, L., Pěchouček, M., Štěpán, P. 2007 Multi-robot Exploration Using Multi-agent Approach, detail

Mařík, V., Bradshaw, J.M., Meyer, J., Gruver, W.A., Benda, P. 2008 Distributed Human-Machine Systems, detail

Rollo, M., Jisl, P., Benda, P., Krejník, M. 2008 Constraint based Data Streaming Algorithm for Human Assisting Robotic Teams, detail

Ford, K.M., Suri, N., Košnar, K., Jisl, P., Benda, P., Pěchouček, M., Přeučil, L. 2008 A Game based Approach to Comparing Different Coordination Mechanisms, detail

Lisý, V., Jakob, M., Benda, P., Urban, Š., Pěchouček, M. 2009 Towards Cooperative Predictive Data Mining in Competitive Environments., detail

Jakob, M., Vaněk, O., Urban, Š., Benda, P., Pěchouček, M. 2010 Adversarial Modeling and Reasoning in the Maritime Domain - Year 1 Report, detail

Jakob, M., Vaněk, O., Urban, Š., Benda, P., Pěchouček, M. 2010 AgentC: Agent-based Testbed for Adversarial Modeling and Reasoning in the Maritime Domain, detail

Jakob, M., Vaněk, O., Urban, Š., Benda, P., Pěchouček, M. 2010 Employing Agents to Improve the Security of International Maritime Transport, detail

Vokřínek, J., Janovský, P., Faigl, J., Benda, P., Tango, F., Pinotti, D. 2013 A cooperative driver model for traffic simulations, detail

Anh Truong, T.V., Benda, P., Vokřínek, J. 2013 The Task Agent Resource Function application in UAV domain, detail

Benda, P. 2014 Zálohování a archivace dat Centra agentních technologií s možností rozšiřitelnosti na obdobná pracoviště, detail

Benda, P. 2015 Zálohování a archivace dat Centra agentních technologií s možností rozšiřitelnosti na obdobná pracoviště, detail

Lisý, V., Bošanský, B., Jakob, M., Pěchouček, M. 2009 Goal-Based Adversarial Search - Searching Game Trees in Complex Domains using Goal-based Heuristic, detail

Lisý, V., Bošanský, B., Jakob, M., Pěchouček, M. 2009 Adversarial Search with Procedural Knowledge Heuristic, detail

Semsch, E., Lisý, V., Bošanský, B., Jakob, M., Pavlíček, D., Doubek, J., Pěchouček, M. 2009 Adversarial Behavior Testbed, detail

Lisý, V., Bošanský, B., Jakob, M., Pěchouček, M. 2010 Goal-Based Game Tree Search for Complex Domains, detail

Vaněk, O., Bošanský, B., Jakob, M., Pěchouček, M. 2010 Transiting Areas Patrolled by a Mobile Adversary, detail

Lisý, V., Bošanský, B., Vaculín, R., Pěchouček, M. 2010 Agent Subset Adversarial Search for Complex Non-cooperative Domains, detail

Bošanský, B. 2011 Process-based Multi-agent Architecture in Home Care, detail

Jakob, M., Vaněk, O., Bošanský, B., Hrstka, O., Pěchouček, M. 2010 Adversarial Modeling and Reasoning in the Maritime Domain, Year 2 Report, detail

Bošanský, B., Čáp, M., Komenda, A., Lisý, V., Novák, P., Pěchouček, M. 2011 Deliberative and Reactive Planning in Adversarial Environments, detail

Lhotská, L., Bošanský, B., Doležal, J. 2011 Integration of Procedural Knowledge in Multi-Agent Systems in Medicine, detail

Vaněk, O., Jakob, M., Lisý, V., Bošanský, B., Pěchouček, M. 2011 Iterative Game-theoretic Route Selection for Hostile Area Transit and Patrolling, detail

Vaněk, O., Pěchouček, M., Jakob, M., Bošanský, B., Lisý, V. 2011 Agentni simulaci proti somalskym piratum, detail

Jakob, M., Vaněk, O., Bošanský, B., Hrstka, O., Pěchouček, M. 2011 AgentC: Agent-based System for Securing Maritime Transit (Demonstration), detail

Bošanský, B., Lisý, V., Jakob, M., Pěchouček, M. 2011 Computing Time-Dependent Policies for Patrolling Games with Mobile Targets, detail

Bošanský, B., Lisý, V., Pěchouček, M. 2011 Towards Cooperation in Adversarial Search with Confidentiality, detail

Vaněk, O., Yin, Z., Jain, M., Bošanský, B., Tambe, M., Pěchouček, M. 2012 Game-theoretic Resource Allocation for Malicious Packet Detection in Computer Networks, detail

Vaněk, O., Bošanský, B., Jakob, M., Lisý, V., Pěchouček, M. 2012 Extending Security Games to Defenders with Constrained Mobility, detail

Bošanský, B., Vaněk, O., Pěchouček, M. 2012 Strategy Representation Analysis for Patrolling Games, detail

Píbil, R., Lisý, V., Kiekintveld, C. D., Bošanský, B., Pěchouček, M. 2012 Game Theoretic Model of Strategic Honeypot Selection in Computer Networks, detail

Bošanský, B., Kiekintveld, C., Lisý, V., Pěchouček, M. 2012 Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect Information, detail

Lisý, V., Bošanský, B., Pěchouček, M. 2012 Anytime Algorithms for Multi-agent Visibility-based Pursuit-evasion Games, detail

Lisý, V., Píbil, R., Stiborek, J., Bošanský, B., Pěchouček, M. 2012 Game-theoretic Approach to Adversarial Plan Recognition, detail

Novák, P., Komenda, A., Lisý, V., Bošanský, B., Čáp, M., Pěchouček, M. 2012 Tactical Operations of Multi-Robot Teams in Urban Warfare (Demonstration), detail

Lhotská, L., Doležal, J., Bošanský, B. 2013 Knowledge-Based Support of Medical Work in Home Care, detail

Lisý, V., Kovařík, V., Lanctot, M., Bošanský, B. 2013 Convergence of Monte Carlo Tree Search in Simultaneous Move Games, detail

Bošanský, B., Lisý, V., Čermák, J., Vítek, R., Pěchouček, M. 2013 Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games, detail

Bošanský, B., Kiekintveld, C., Lisý, V., Čermák, J., Pěchouček, M. 2013 Double-Oracle Algorithm for Computing an Exact Nash Equilibrium in Zero-Sum Extensive-Form Games, detail

Bošanský, B. 2013 Solving Extensive-Form Games with Double-Oracle Methods, detail

Čermák, J., Bošanský, B., Lisý, V. 2014 Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games, detail

Abaffy, M., Brázdil, T., Řehák, V., Bošanský, B., Kučera, A., Krčál, J. 2014 Solving adversarial patrolling games with bounded error, detail

Bošanský, B., Kiekintveld, C., Lisý, V., Pěchouček, M. 2014 An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information, detail

Durkota, K., Lisý, V., Kiekintveld, K., Bošanský, B. 2015 Game-Theoretic Algorithms for Optimal Network Security Hardening Using Attack Graphs, detail

Durkota, K., Lisý, V., Bošanský, B., Kiekintveld, K. 2015 Optimal Network Security Hardening Using Attack Graph Games, detail

Durkota, K., Lisý, V., Bošanský, B., Kiekintveld, K. 2015 Approximate Solutions for Attack Graph Games with Imperfect Information, detail

Čermák, J., Bošanský, B., Gatti, N. 2015 Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games, detail

Čermák, J., Bošanský, B., Gatti, N. 2015 Effectiveness of Game-Theoretic Strategies in Extensive-Form General-Sum Games, detail

Bošanský, B., Jiang, AX, Tambe, M., Kiekintveld, C D 2015 Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies, detail

Bošanský, B., Čermák, J. 2015 Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games, detail

Bošanský, B., Branzei, S., Hansen, KA, Miltersen, PB, Sorensen, TB 2015 Computation of Stackelberg Equilibria of Finite Sequential Games, detail

Bošanský, B., Lisý, V., Lanctot, M., Čermák, J., Winands, M. H. M. 2016 Algorithms for computing strategies in two-player simultaneous move games, detail

Kiekintveld, C., Durkota, K., Durkota, K., Lisý, V., 2Pěchouček, M., Bošanský, B. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Horák, K., Bošanský, B. 2016 A Point-Based Approximate Algorithm for One-Side Partially Observable Pursuit-Evasion Games, detail

Čermák, J., Bošanský, B., Durkota, K., Lisý, V., Kiekintveld, C. 2016 Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-form Games, detail

Durkota, K., Lisý, V., Kiekintveld, C., Bošanský, B., Pěchouček, M. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Durkota, K., Lisý, V., Horák, K., Kiekintveld, Ch., Bošanský, B., Pevný, T. 2016 Game-theoretic Analysis of Detecting Data Exfiltration, detail

Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail

Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail

Horák, K., Bošanský, B. 2017 Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games, detail

Bošanský, B., Čermák, J., Horák, K., Pěchouček, M. 2017 Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall, detail

Čermák, J., Bošanský, B., Lisý, V. 2017 An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games, detail

Čermák, J., Bošanský, B., Pěchouček, M. 2017 Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games, detail

Horák, K., Zhu, Q., Bošanský, B. 2017 Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security, detail

Durkota, K., Lisý, V., Kiekintveld, C., Horák, K., Bošanský, B., Pevný, T. 2017 Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers, detail

Horák, K., Bošanský, B., Pěchouček, M. 2017 Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games, detail

Čermák, J., Bošanský, B. 2017 Towards Solving Imperfect Recall Games, detail

Qingyu, G., An, B., Bošanský, B., Kiekintveld, C. 2017 Comparing Strategic Secrecy and Stackelberg Commitment in Security Games, detail

Čermák, J., Bošanský, B., Horák, K., Lisý, V., Pěchouček, M. 2018 Approximating Maxmin Strategies in Imperfect Recall Games Using A-loss Recall Property, detail

Bošanský, B., Branzei, S., Hansen, K.A., Lund, T.B., Miltersen, P.B. 2017 Computation of Stackelberg Equilibria of Finite Sequential Games, detail

Horák, K., Bošanský, B., Chatterjee, K. 2018 Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs, detail

Černý, J., Bošanský, B., Kiekintveld, C. 2018 Incremental Strategy Generation for Stackelberg Equilibria in Extensive-Form Games, detail

Basak, A., Černý, J., Gutierrez, M., Curtis, S., Kamhoua, C., Jones, D., Bošanský, B., Kiekintveld, C. 2018 An Initial Study of Targeted Personality Models in the FlipIt Game, detail

Bošanský, B., Kretinsky, J., Brazdil, T. 2018 Game Solving: Theory and Practice, detail

Bošanský, B. 2018 Game Theory for Cyber Deception, detail

Čáp, M., Heuvelink, A., van den Bosch, K., van Doesburg, W. 2010 Using Agent Technology to Build a Real World Training Application, detail

Čáp, M., Dastani, M., Harbes, M. 2011 Belief/Goal Sharing Modules for BDI Languages, detail

Čáp, M., Dastani, M., Harbers, M. 2011 Belief/Goal Sharing BDI Modules, detail

Čáp, M., Vokřínek, J., Komenda, A. 2011 Communication and Computation Bounded Agents in Multi Agent Simulations, detail

Komenda, A., Čáp, M., Pěchouček, M. 2012 Multi-agent Simulation Approach to Development of Applications for Decentralized Tactical Missions, detail

Jakob, M., Pěchouček, M., Čáp, M., Novák, P., Vaněk, O. 2012 Mixed-Reality Testbeds for Incremental Development of HART Applications, detail

Čáp, M., Novák, P., Vokřínek, J., Pěchouček, M. 2012 Asynchronous decentralized algorithm for space-time cooperative pathfinding, detail

Novák, P., Komenda, A., Čáp, M., Vokřínek, J., Pěchouček, M. 2013 Simulated Multi-robot Tactical Missions in Urban Warfare, detail

Komenda, A., Vokřínek, J., Čáp, M., Pěchouček, M. 2013 Developing Multiagent Algorithms for Tactical Missions Using Simulation, detail

Štolba, M., Selecký, M., Meiser, T., Čáp, M., Rollo, M., Komenda, A., Vokřínek, J., Pěchouček, M. 2012 AgentFly-In-Air: HW deployment, experimentation and testing of the results from the Tactical AgentFly and AgentScout projects, detail

Selecký, M., Štolba, M., Meiser, T., Čáp, M., Komenda, A., Rollo, M., Vokřínek, J., Pěchouček, M. 2013 Deployment of Multi-agent Algorithms for Tactical Operations on UAV Hardware, detail

Čáp, M., Novák, P., Vokřínek, J., Pěchouček, M. 2013 Multi-agent RRT*: sampling-based cooperative pathfinding, detail

Čáp, M., Novák, P., Selecký, M., Faigl, J., Vokřínek, J. 2013 Asynchronous decentralized prioritized planning for coordination in multi-robot system, detail

Čáp, M., Novák, P., Vokřínek, J., Pěchouček, M. 2013 Multi-agent RRT*: Sampling-based Cooperative Pathfinding, detail

Vokřínek, J., Čáp, M., Horký, A., Pěchouček, M. 2013 Research for Applying Multi-Agent Techniques towards Onboard Automobile Purposes, detail

Janovský, P., Čáp, M., Vokřínek, J. 2014 Finding Coordinated Paths for Multiple Holonomic Agents in 2-D Polygonal Environment (Page 1117), detail

Čáp, M., Novák, P., Kleiner, A., Selecký, M. 2015 Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots, detail

Čáp, M., Vokřínek, J., Kleiner, A. 2015 Complete Decentralized Method for On-Line Multi-Robot Trajectory Planning in Valid Infrastructures, detail

Čáp, M., Novák, P., Kleiner, A. 2015 Finding Near-optimal Solutions in Multi-robot Trajectory Planning, detail

Schaefer, M., Čáp, M., Vokřínek, J. 2017 AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant, detail

Čáp, M., Gregorie, J., Frazzoli, E. 2016 Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances, detail

Paden, B, Čáp, M., Yong, S.Z., Yershov, D., Frazzoli, E. 2016 A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles, detail

Fiedler, D., Čáp, M., Čertický, M. 2017 Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study, detail

Gregoire, J., Čáp, M., Frazzoli, E. 2018 Locally-optimal Multi-robot Navigation Under Delaying Disturbances Using Homotopy Constraints, detail

Server Error

Server Error

We're sorry! The server encountered an internal error and was unable to complete your request. Please try again later.

error 500
Tracy says: Unable to log error. Check if directory is writable and path is absolute.