Search results for "MoChArt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ron van der Meyden, Jan-Georg Smaus (eds.)	Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers	MoChArt	2011	DBLP DOI BibTeX RDF
1	Xiaowei Huang 0001, Cheng Luo 0003, Ron van der Meyden	Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Mark Kellershoff, Damian Sulewski	Program Model Checking via Action Planning.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Hongyang Qu 0001, Francesco Russo 0003	Automatic Data-Abstraction in Model Checking Multi-Agent Systems.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Orna Kupferman, Adin Rosenberg	The Blowup in Translating LTL to Deterministic Automata.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Abdur Rakib	Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang	Symbolic Model Checking the Knowledge in Herbivore Protocol.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Damian Sulewski	External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Hector Geffner	Planning with Incomplete Information - (Invited Paper).	MoChArt	2010	DBLP DOI BibTeX RDF
1	Doron A. Peled, Michael J. Wooldridge (eds.)	Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers	MoChArt	2009	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner	Solving µ-Calculus Parity Games by Symbolic Planning.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Ricky W. Butler, César A. Muñoz	Experimental Evaluation of a Planning Language Suitable for Formal Verification.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Gal Katz, Doron A. Peled	Model Checking Driven Heuristic Search for Correct Programs.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Wojciech Penczek, Hongyang Qu 0001	Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Strategic Equilibria.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar, Peter Kissmann	Scaling Search with Pattern Databases.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Jan-Georg Smaus, Jörg Hoffmann 0001	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
1	Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma	Verifying Robocup Teams.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Abdur Rakib	Verifying Time and Communication Costs of Rule-Based Reasoners.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Alessio Lomuscio (eds.)	Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers	MoChArt	2007	DBLP DOI BibTeX RDF
1	Anton Wijs, Bert Lisser	Distributed Extended Beam Search for Quantitative Model Checking.	MoChArt	2006	DBLP DOI BibTeX RDF	directed model checking, distributed model checking, scheduling, beam search
1	Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti	A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar	Real-Time Model Checking on Secondary Storage.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan 0001, Luciano Serafini	Verifying Space and Time Requirements for Resource-Bounded Agents.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp	Automated Creation of Pattern Database Search Heuristics.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny	SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.	MoChArt	2006	DBLP DOI BibTeX RDF	model checking, authentication, security protocols
1	Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny	Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Francesco Viganò	A Framework for Model Checking Institutions.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski	Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Tadashi Araragi, Seung Mo Cho	Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.	MoChArt	2006	DBLP DOI BibTeX RDF

Publications at "MoChArt"( http://dblp.L3S.de/Venues/MoChArt )