Searching for authors named "Franjo Ivancic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

Lecture 2 Background: State Machines and Concurrency
by Franjo Ivancic — 2000
…Lecture 2 CIS 640/EE601: Hybrid Systems Background: State Machines and Concurrency Franjo Ivanci…
Add To MetaCart

Reinforcement Learning in Multiagent Systems using Game Theory Concepts
by Franjo Ivancic — 2001
…Reinforcement Learning in Multiagent Systems using Game Theory Concepts Franjo Ivancic ivancic…
Add To MetaCart

Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem
by Franjo Ivancic — 2002
…Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem Franjo Ivanid…
Cited by 6 (2 self) – Add To MetaCart

Benchmarks for Hybrid Systems Verification
by Ansgar Fehnker, Franjo Ivancic — 2004 — In Hybrid Systems: Computation and Control (HSCC 2004) (2004
…Benchmarks for Hybrid Systems Verification Ansgar Fehnker 1 and Franjo Ivančić 2 1 Carnegie Mellon…
Cited by 17 (1 self) – Add To MetaCart

Counter-Example Guided Predicate Abstraction of Hybrid Systems
by Rajeev Alur, Thao Dang, Franjo Ivancic — 2003
…Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinite-state systems, and has been recently shown to enhance the effectiveness of the reachability computation techniques for hybrid systems. Given a hybrid system with linear dynamics and a set of…
Cited by 20 (6 self) – Add To MetaCart

A Framework for Reasoning about Animation Systems
by Eric Aaron, Dimitris Metaxas, Franjo Ivancic, Oleg Sokolsky — 2001 — University of Pennsylvania
…A Framework for Reasoning about Animation Systems Eric Aaron, Dimitris Metaxas, Franjo Ivanid…
Cited by 5 (4 self) – Add To MetaCart

Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction
by Rajeev Alur, Franjo Ivancic, Thao Dang, Centre Équation — 2002
… Street Philadelphia, PA 19104, USA Franjo Ivančić Department of Computer and Information Science…
Cited by 3 (3 self) – Add To MetaCart

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
by Rajeev Alur, Thao Dang, Franjo Ivancic — 2003 — in Hybrid Systems: Computation and Control, LNCS 2623
… , Thao Dang 2 , and Franjo Ivancic 1 1 University of Pennsylvania 2 VERIMAG Abstract. Predicate…
Cited by 22 (4 self) – Add To MetaCart

Reachability Analysis of Hybrid Systems via Predicate Abstraction
by Rajeev Alur, Thao Dang, Franjo Ivancic — 2002 — Hybrid Systems: Computation and Control, Fifth International Workshop, LNCS 2289
…, and Franjo Ivanid Department of Computer and Information Science University of Pennsylvania htt p…
Cited by 35 (7 self) – Add To MetaCart

ECLIPSE Feature Logic Analysis
by Gregory W. Bond, Franjo Ivancic, Nils Klarlund, Richard Trefler — 2001
…IPTEL2001 100 ECLIPSE Feature Logic Analysis Gregory W. Bond, Franjo Ivančić, Nils Klarlund…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB