Search results for "state space construction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hubert Garavel, Radu Mateescu, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
2	Karsten Schmidt 0004	Using Petri Net Invariants in State Space Construction.	TACAS	2003	DBLP DOI BibTeX RDF
2	Hajime Murao, Shinzo Kitamura	Q-Learning with Adaptive State Space Construction.	EWLR	1997	DBLP DOI BibTeX RDF
2	Eiji Uchibe, Minoru Asada, Koh Hosoda	Vision Based State Space Construction for Learning Mobile Robots in Multi-agent Environments.	EWLR	1997	DBLP DOI BibTeX RDF
1	Frédéric Gava, Michaël Guedj, Franck Pommereau	Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.	PDP	2012	DBLP DOI BibTeX RDF
1	Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu	Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.	ISPDC	2011	DBLP DOI BibTeX RDF
1	Charles Lakos, Laure Petrucci	Modular state space exploration for timed petri nets.	STTT	2007	DBLP DOI BibTeX RDF
1	Eric Vecchié, Robert de Simone	Syntax-driven optimisations for reachable state space construction of ESTEREL programs.	IJES	2006	DBLP DOI BibTeX RDF
1	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
1	Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä	Tampere Verification Tool.	TACAS	2004	DBLP DOI BibTeX RDF
1	Dana Petcu	Parallel Explicit State Reachability Analysis and State Space Construction.	ISPDC	2003	DBLP DOI BibTeX RDF
1	W. Douglas Obal II, William H. Sanders	Measure-adaptive state-space construction.	Perform. Eval.	2001	DBLP DOI BibTeX RDF
1	Glenn Lewis, Charles Lakos	Incremental State Space Construction for Coloured Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
1	Kathi Fisler, Shriram Krishnamurthi	Modular verification of collaboration-based software designs.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design
1	Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu	Efficient Symbolic State-Space Construction for Asynchronous Systems.	ICATPN	2000	DBLP DOI BibTeX RDF
1	Yasutake Takahashi, Masanori Takeda, Minoru Asada	Improvement Continuous Valued Q-learning and Its Application to Vision Guided Behavior Acquisition.	RoboCup	2000	DBLP DOI BibTeX RDF
1	Kazuyuki Samejima, Takashi Omori	Adaptive internal state space construction method for reinforcement learning of a real-world agent.	Neural Networks	1999	DBLP DOI BibTeX RDF
1	Hiroshi Ishiguro, Masatoshi Kamiharako, Toru Ishida	State Space Construction by Attention Control.	IJCAI	1999	DBLP BibTeX RDF
1	Eiji Uchibe, Minoru Asada, Koh Hosoda	State Space Construction for Behavior Acquisition in Multi Agent Environments with Vision and Action.	ICCV	1998	DBLP BibTeX RDF
1	Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan	Symbolic Model Checking for Probabilistic Processes.	ICALP	1997	DBLP DOI BibTeX RDF
1	Stefano Caselli, Gianni Conte, P. Marenzoni	Parallel State Space Exploration for GSPN Models.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF