Year | Venue | Keywords |
---|---|---|
2012 | Fusion | finite automata,computer and information science,prototypes,formal verification,automata,games |
Field | DocType | Citations |
Model checking,Computer science,Automaton,Finite-state machine,Theoretical computer science,Software,Operator (computer programming),Artificial intelligence,Plan recognition,Machine learning,Information and Computer Science,Formal verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johanna Björklund | 1 | 5 | 6.23 |
Eric Jonsson | 2 | 0 | 0.34 |
Lisa Kaati | 3 | 144 | 17.65 |