
********************
 S. Kalenka and N. R. Jennings : On Social Attitudes : A Preliminary Report , International Workshop on Decentralised Intelligent and Multi - Agent Systems , Krakow/<DA> ,/<DE> Poland , Nov ./<DE> 22/<PP> -/<PP> 24/<PP> ,/<DE> 1995 .
-------------
Krakow should be:<GL> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<GL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0002
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9998
-------------
. should be:<DA> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0.0001
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9999
-------------
22 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0.0021
<PP> s12:0.9979
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0.0021
<PP> s12:0.9979
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
24 should be:<DA> but:<PP>
<TI> s12:0
<VO> s12:0.0021
<PP> s12:0.9979
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<DA> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 M. J. Wooldridge and N. R. Jennings ( eds . ) : Intelligent/<JN> Agents/<JN> , Lecture Notes in Artificial Intelligence , Springer Verlag , 1995 .
-------------
Intelligent should be:<TI> but:<JN>
<TI> s12:0.1071
<VO> s12:0.0357
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8571
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Agents should be:<TI> but:<JN>
<TI> s12:0.1071
<VO> s12:0.0357
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8571
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 M. Wooldridge and N. R. Jennings : Intelligent/<JN> Agents/<JN> :/<JN> Theory/<JN> and/<JN> Practice/<JN> , The Knowledge Engineering Review , 10 ( 2 ) , pp . 115 - 152 , 1995 .
-------------
Intelligent should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Agents should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7101
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2899
-------------
Theory should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Practice should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 J. A. Alty , D. Griffiths , N. R. Jennings , E. H. Mamdani , A. Struthers , and M. E. Wiegand : ADEPT - Advanced Decision Environment for Process Tasks :/<DE> Overview/<JN> and/<JN> Architecture/<JN> , Proc . BCS Expert Systems Conference (/<JN> Applications/<JN> Track/<JN> ,/<DE> ISIP/<JN> Theme/<JN> ) , Cambridge , UK , 1994 , 359 - 371 .
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Overview should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
( should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0.0014
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8899
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.1088
-------------
Applications should be:<NG> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Track should be:<NG> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<NG> but:<DE>
<TI> s12:0
<VO> s12:0.0014
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.318
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.6805
-------------
ISIP should be:<NG> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Theme should be:<NG> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 J. Huang , N. R. Jennings , and J. Fox : Cooperation in Distributed Medical Care , Proc . Int . Conf . on Cooperative Information Systems (/<DE> CoopIS/<TI> -/<TI> 94/<TI> ) , Toronto , Canada , 1994 , 255 - 263 .
-------------
( should be:<JN> but:<DE>
<TI> s12:0.0002
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0784
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9199
-------------
CoopIS should be:<JN> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
94 should be:<JN> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings : Cooperation in Industrial Multi - Agent Systems , World Scientific Publishing ,/<DE> Singapore/<GL> ( ISBN 981 - 02 - 1652 - 1 ) , 1994 .
-------------
, should be:<PU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Singapore should be:<PU> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.9981
<OR> s12:0
<DA> s12:0
<PU> s12:0.0019
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings : The ARCHON System and its Applications , Second International Working Conference on Cooperating Knowledge Based Systems ( CKBS - 94 ) ( Invited Paper ) , Keele/<DA> ,/<DE> UK , 1994 , 13 - 29 .
-------------
Keele should be:<GL> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<GL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0002
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9998


********************
 B. Malheiro , N. R. Jennings , and E. Oliveira : Belief Revision in Multi - Agent Systems . Proc 11th European Conference on Artificial Intelligence ( ECAI - 94 ) , Amsterdam , The Netherlands , 1994 , 294 - 298 .


********************
 L. Z. Varga , N. R. Jennings and D. Cockburn : Integrating Intelligent Systems into a Cooperating Community for Electricity Distribution Management , Int Journal of Expert Systems with Applications 7/<JN> (/<DE> 4 ) , 1994 , 563 - 579 .
-------------
7 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
( should be:<VO> but:<DE>
<TI> s12:0
<VO> s12:0.0125
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9875


********************
 T. Wittig , N. R. Jennings and E. H. Mamdani : " ARCHON - A Framework for Intelligent Cooperation " , IEE - BCS Journal of Intelligent Systems Engineering - Special Issue on Real - time Intelligent Systems in ESPRIT , 3 ( 3 ) 1994 , 168 - 179 .


********************
 M. Wooldridge and N. R. Jennings : Agent/<JN> Theories/<JN> ,/<DE> Architectures/<JN> ,/<DE> and/<JN> Languages/<JN> :/<DE> A Survey , Proc . ECAI - Workshop on Agent Theories ,/<DE> Architectures and Languages ( eds . M. J. Wooldridge and N. R. Jennings ) , Amsterdam , The Netherlands , 1994 , 1 - 32
-------------
Agent should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Theories should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
, should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4069
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5931
-------------
Architectures should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4069
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5931
-------------
and should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Languages should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0.0029
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9971
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924


********************
 M. Wooldridge and N. R. Jennings : Formalizing the Cooperative Problem Solving Process , 13th International Workshop on Distributed Artificial Intelligence ( IWDAI - 94 ) , Lake/<JN> Quinhalt/<JN> ,/<DE> WA , July 1994 , 403 - 417 .
-------------
Lake should be:<GL> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Quinhalt should be:<GL> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
, should be:<GL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 M. Wooldridge and N. R. Jennings : Towards a Theory of Cooperative Problem Solving , Proc . Modelling Autonomous Agents in a Multi - Agent World ( MAAMAW - 94 ) , Odense , Denmark , 1994 , 15 - 26 .


********************
 N. R. Jennings : Commitments and Conventions : The Foundation of Coordination in Multi - Agent Systems , The Knowledge Engineering Review , 8 ( 3 ) , 1993 , 223 - 250 .


********************
 N. R. Jennings : Specification and Implementation of a Belief - Desire - Joint - Intention Architecture for Collaborative Problem Solving , Int . Journal of Intelligent and Cooperative Information Systems , 2 ( 3 ) , 1993 , 289 - 318 .


********************
 N. R. Jennings : Coordination Through Joint Intentions in Industrial Multi - Agent Systems , AI Magazine , 14 ( 4 ) , 1993 , 79 - 80 .


********************
 N. R. Jennings : Controlling Cooperative Problem Solving Using Joint Intentions , AI Communications 6/<JN> (/<DE> 3/<TI> and/<TI> 4/<TI> ) , 1993 , 247 - 248 .
-------------
6 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
( should be:<VO> but:<DE>
<TI> s12:0.0002
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0784
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9199
-------------
3 should be:<VO> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<VO> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
4 should be:<VO> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings and J. A. Pople : Design and Implementation of ARCHON 's Coordination Module , Proc . Workshop on Cooperating Knowledge Based Systems , Keele/<DA> ,/<DE> UK , 1993 , 61 - 82 .
-------------
Keele should be:<GL> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<GL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0002
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9998


********************
 N. R. Jennings , L. Z. Varga , R. P. Aarnts , J. Fuchs and P. Skarek : Transforming Standalone Expert Systems into a Community of Cooperating Agents , Eng/<DA> ./<DE> Applic . Artif . Intell . , 6 ( 4 ) 1993 , 317 - 331 .
-------------
Eng should be:<JN> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
. should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0004
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9996


********************
 D. Cockburn , L. Z. Varga and N. R. Jennings : Cooperating Intelligent Systems for Electricity Distribution , Proc . Expert Systems 1992 (/<JN> Applications/<JN> Track/<JN> ) , Cambridge , UK , 1992 .
-------------
( should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0.0014
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.8899
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.1088
-------------
Applications should be:<NG> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Track should be:<NG> but:<JN>
<TI> s12:0
<VO> s12:0.0769
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9231
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings : On Being Responsible , Decentralized/<AU> A./<AU> I./<AU> 3/<AU> , ( eds . E. Werner and Y. Demazeau ) , North Holland Publishers , 1992 , 93 - 102 .
-------------
Decentralized should be:<JN> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
A. should be:<JN> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
I. should be:<JN> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
3 should be:<JN> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings : A Knowledge Level Approach to Collaborative Problem Solving , Proc . AAAI Workshop on Cooperation Among Heterogeneous Intelligent Agents , San Jose , USA , 1992 , 55 - 64 .


********************
 N. R. Jennings : Towards a Cooperation Knowledge Level for Collaborative Problem Solving , Proc . 10th European Conf . on Artificial Intelligence ( ECAI - 92 ) , Vienna , Austria , 1992 , 224 - 228 .


********************
 N. R. Jennings : Using Joint Intentions in Electricity Transport Management , Proc . ECAI Workshop on Application Aspects of Distributed AI , Vienna , Austria , 1992 .


********************
 N. R. Jennings : Using GRATE to Build Cooperating Agents for Industrial Control , Proc ./<DE> IFAC/<DA> //<DE> IFIP / IMACS Int . Sym . on Artificial Intelligence in Real Time Control , Delft , The Netherlands , 1992 , 691 - 696 .
-------------
. should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0004
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9996
-------------
IFAC should be:<JN> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
/ should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0002
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0508
<PU> s12:0
<JN> s12:0.025
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.924


********************
 N. R. Jennings and E. H. Mamdani : Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic Environments , Proc of 10th National Conf . on Artificial Intelligence ( AAAI - 92 ) , San Jose , USA , 1992 , 269 - 275 .


********************
 N. R. Jennings , E. H. Mamdani , I. Laresgoiti , J. Perez and J. Corera : GRATE/<DA> :/<DE> A General Framework for Cooperative Problem Solving . IEE - BCS Journal of Intelligent Systems Engineering , 1 ( 2 ) , 1992 , 102 - 114 .
-------------
GRATE should be:<TI> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 N. R. Jennings , and T. Wittig : ARCHON : Theory and Practice , Distributed Artificial Intelligence : Theory and Praxis ( eds . N. M. Avouris and L. Gasser ) , Kluwer Academic Press , 1992 , 179 - 195 .


********************
 N. R. Jennings et al : The Information Modelling within the Architecture , ARCHON/<TI> :/<TI> An/<TI> Architecture/<TI> for/<TI> Multi/<TI> -/<TI> Agent/<TI> Systems/<TI> , ( ed . T. Wittig )/<AU> ,/<AU> Ellis/<AU> Horwood/<AU> , 1992 , 59 - 76 .
-------------
ARCHON should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
An should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Multi should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Agent should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.598
<FL> s12:0
<NG> s12:0
<DE> s12:0.402
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.598
<FL> s12:0
<NG> s12:0
<DE> s12:0.402
-------------
Ellis should be:<PU> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Horwood should be:<PU> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 N. R. Jennings et al : The/<JN> DAI/<JN> Functionality/<JN> of/<JN> the/<JN> Architecture/<JN> , ARCHON/<TI> :/<TI> An/<TI> Architecture/<TI> for/<TI> Multi/<TI> -/<TI> Agent/<TI> Systems/<TI> , ( ed . T. Wittig )/<AU> ,/<AU> Ellis/<AU> Horwood/<AU> , 1992 , 25 - 51 .
-------------
The should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
DAI should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Functionality should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
the should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Architecture should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
ARCHON should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
An should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Architecture should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Multi should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Agent should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
) should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.598
<FL> s12:0
<NG> s12:0
<DE> s12:0.402
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.598
<FL> s12:0
<NG> s12:0
<DE> s12:0.402
-------------
Ellis should be:<PU> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Horwood should be:<PU> but:<AU>
<TI> s12:0
<VO> s12:0.0015
<PP> s12:0
<GL> s12:0.0005
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0005
<AU> s12:0.9975
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 R. P. Aarnts , J. Corera , J. Perez , D. Gureghian and N. R. Jennings : Examples/<JN> of/<JN> Cooperative/<JN> Situations/<JN> and/<JN> their/<JN> Implementation/<JN> , Vleermuis Journal of Software Research , 3 ( 4 ) , 1991 , 74 - 81 .
-------------
Examples should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Cooperative should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Situations should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
and should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
their should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Implementation should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 N. R. Jennings : Cooperation in Industrial Systems , Proc . ESPRIT Conf . , Brussels , Belgium , 1991 , 253 - 263 .


********************
 C. Roda , N. R. Jennings and E. H. Mamdani : ARCHON : A Cooperation Framework for Industrial Process Control , Proc . Cooperating Knowledge Based Systems 1990 , ( ed . S. M. Deen ) , Springer Verlag , 1991 , 95 - 112 .


********************
 C. Roda , N. R. Jennings and E. H. Mamdani : The Impact of Heterogeneity on Cooperating Agents , Proc . AAAI Workshop on Cooperation among Heterogeneous Intelligent Systems , Anaheim , USA , 1991 .


********************
 Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar . Race checking by context inference . Proceedings of the International Conference on Programming Language Design and Implementation ( ) , ACM Press , 2004 .


********************
 Dirk Beyer , Adam J. Chlipala , Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar . Generating tests from counterexamples . Proceedings of the 26th Annual International Conference on Software Engineering ( ) , IEEE Computer Society Press , 2004 .


********************
 Arkadeb Ghosal , Thomas A. Henzinger , Christoph M. Kirsch , and Marco A. A. Sanvido . Event - driven programming with logical execution times . Proceedings of the Seventh International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 2004 , pp . 357 - 371 .


********************
 Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , and Marielle Stoelinga . Model checking discounted temporal properties . Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 2004 , pp . 77 - 92 .


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Ken McMillan . Abstractions from proofs . Proceedings of the 31st Annual Symposium on Principles of Programming Languages ( ) , ACM Press , 2004 , pp . 232 - 244 .


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Marco A. A. Sanvido . Extreme model checking . In/<TI> Verification/<TI> :/<DE> Theory and Practice ,/<DE> Lecture Notes in Computer Science 2772 , Springer - Verlag , 2004 , pp . 332 - 358 .
-------------
In should be:<JN> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Verification should be:<JN> but:<TI>
<TI> s12:0.8
<VO> s12:0.1
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0003
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0249
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9748
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0014
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.318
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.6805


********************
 Krishnendu Chatterjee , Marcin Jurdzinski , and Thomas A. Henzinger . Quantitative stochastic parity games . Proceedings of the 15th Annual Symposium on Discrete Algorithms ( ) , , 2004 , pp . 114 - 123 .


********************
 Thomas A. Henzinger , Christoph M. Kirsch , and Slobodan Matic . Schedule/<JN> carrying/<JN> code/<JN> ./<JN> Proceedings of the Third International Conference on Embedded Software ( ) , , Springer - Verlag , 2003 , pp . 241 - 256 .
-------------
Schedule should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
carrying should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
code should be:<TI> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
. should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0.0008
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7463
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.253


********************
 Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , and Marielle Stoelinga . Resource interfaces . Proceedings of the Third International Conference on Embedded Software ( ) , , Springer - Verlag , 2003 , pp . 117 - 133 .


********************
 Krishnendu Chatterjee , Marcin Jurdzinski , and Thomas A. Henzinger . Simple stochastic parity games . Proceedings of the International Conference for Computer Science Logic ( ) , , Springer - Verlag , 2003 , pp . 100 - 113 .


********************
 Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , and Marielle Stoelinga . The element of surprise in timed games . Proceedings of the 14th International Conference on Concurrency Theory ( ) , , Springer - Verlag , 2003 , pp . 144 - 158 .


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Shaz Qadeer . Thread - modular abstraction refinement . Proceedings of the 15th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 2003 , pp . 262 - 274 .


********************
 Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar . Counterexample - guided control . Proceedings of the 30th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 2003 , pp . 886 - 902 .
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924


********************
 Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar . Discounting the future in systems theory . Proceedings of the 30th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 2003 , pp . 1022 - 1037 .
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924


********************
 Krishnendu Chatterjee ,/<DE> Di/<PP> Ma/<PP> ,/<DE> Rupak Majumdar , Tian Zhao , Thomas A. Henzinger , and Jens Palsberg . Stack size analysis for interrupt - driven programs . Proceedings of the Tenth International Static Analysis Symposium ( ) , , Springer - Verlag , 2003 , pp . 109 - 126 .
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Di should be:<AU> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Ma should be:<AU> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Gregoire Sutre . Software verification with Blast . Proceedings of the Tenth International Workshop on Model Checking of Software ( ) , , Springer - Verlag , 2003 , pp . 235 - 239 .


********************
 Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch . Embedded control systems development with Giotto . In/<TI> Software/<TI> -/<TI> Enabled/<TI> Control/<TI> :/<TI> Information/<TI> Technology/<TI> for/<TI> Dynamical/<TI> Systems/<TI> ( T. Samad , G. Balas , eds . ) , IEEE Press and Wiley - Interscience , 2003 , pp . 123 - 146 .
-------------
In should be:<JN> but:<TI>
<TI> s12:0.9655
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0345
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Software should be:<JN> but:<TI>
<TI> s12:0.9655
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0345
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<TI>
<TI> s12:0.9655
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0345
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Enabled should be:<JN> but:<TI>
<TI> s12:0.9655
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0345
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Control should be:<JN> but:<TI>
<TI> s12:0.9655
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0345
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<JN> but:<TI>
<TI> s12:0.959
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.041
-------------
Information should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Technology should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Dynamical should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch . Giotto/<NG> :/<DE> A time - triggered language for embedded programming . Proceedings of the IEEE 91/<JN> : 84 - 99 , 2003 .
-------------
Giotto should be:<TI> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0137
<AU> s12:0.0034
<FL> s12:0
<NG> s12:0.9829
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
91 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Thomas A. Henzinger , Christoph M. Kirsch , Marco A. A. Sanvido , and Wolfgang Pree . From control models to real - time code using Giotto . IEEE Control Systems Magazine 23/<JN> (/<DE> 1 ) : 50 - 64 , 2003 .
-------------
23 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
( should be:<VO> but:<DE>
<TI> s12:0
<VO> s12:0.0125
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9875


********************
 Thomas A. Henzinger , Orna Kupferman , and Rupak Majumdar . On the universal and existential fragments of the mu - calculus . Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( ) , , Springer - Verlag , 2003 , pp . 49 - 64 .


********************
 Thomas A. Henzinger , Orna Kupferman , and Shaz Qadeer . From pre historic to post modern symbolic model checking . Formal Methods in System Design 23/<JN> : 303 - 327 , 2003 .
-------------
23 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Rajeev Alur , Thomas A. Henzinger , and Orna Kupferman . Alternating - time temporal logic . Journal of the ACM 49/<JN> : 672 - 713 , 2002 .
-------------
49 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Franck Cassez , Thomas A. Henzinger , and J. - F. Raskin . A comparison of control problems for timed and hybrid systems . Proceedings of the Fifth International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 2002 , pp . 134 - 148 .


********************
 Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , Marcin Jurdzinski , and Freddy Y. C. Mang . Interface compatibility checking for software modules . Proceedings of the 14th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 2002 , pp . 428 - 441 .


********************
 Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , and Freddy Y. C. Mang . Synchronous and bidirectional component interfaces . Proceedings of the 14th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 2002 , pp . 414 - 427 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and Marielle Stoelinga . Timed interfaces . Proceedings of the Second International Workshop on Embedded Software ( ) , , Springer - Verlag , 2002 , pp . 108 - 122 .


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , George C. Necula , Gregoire Sutre , and Westley Weimer . Temporal safety proofs for systems code . Proceedings of the 14th International Conference on Computer - Aided Verification ( ) , , Springer - Verlag , 2002 , pp . 526 - 538 .


********************
 Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Gregoire Sutre . Lazy abstraction . Proceedings of the 29th Annual Symposium on Principles of Programming Languages ( ) , ACM Press , 2002 , pp . 58 - 70 .


********************
 Thomas A. Henzinger and Christoph M. Kirsch . The Embedded Machine : Predictable , portable real - time code . Proceedings of the International Conference on Programming Language Design and Implementation ( ) , ACM Press , 2002 , pp . 315 - 326 .


********************
 Thomas A. Henzinger , Christoph M. Kirsch , Rupak Majumdar , and Slobodan Matic . Time - safety checking for embedded programs . Proceedings of the Second International Workshop on Embedded Software ( ) , , Springer - Verlag , 2002 , pp . 76 - 92 .


********************
 Thomas A. Henzinger , Sriram C. Krishnan , Orna Kupferman , and Freddy Y. C. Mang . Synthesis of uninitialized systems . Proceedings of the 29th International Colloquium on Automata ,/<DE> Languages ,/<DE> and Programming ( ) , , Springer - Verlag , 2002 , pp . 644 - 656 .
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924


********************
 Thomas A. Henzinger , Orna Kupferman , and Sriram K. Rajamani . Fair simulation . Information and Computation 173/<JN> : 64 - 81 , 2002 .
-------------
173 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Thomas A. Henzinger , Shaz Qadeer , Sriram K. Rajamani , and Serdar Tasiran . An assume - guarantee rule for checking simulation . ACM Transactions on Programming Languages and Systems 24/<JN> : 51 - 64 , 2002 .
-------------
24 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Benjamin Horowitz , Judith Liebman ,/<DE> Cedric/<PP> Ma/<PP> ,/<DE> T. John Koo , Thomas A. Henzinger , Alberto Sangiovanni - Vincentelli , and Shankar Sastry . Embedded software design and system integration for rotorcraft UAV using platforms . Proceedings of the 15th IFAC World Congress on Automatic Control , Elsevier/<TI> , 2002 .
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Cedric should be:<AU> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Ma should be:<AU> but:<PP>
<TI> s12:0
<VO> s12:0
<PP> s12:1
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
Elsevier should be:<PU> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Marcin Jurdzinski , Orna Kupferman , and Thomas A. Henzinger . Trading probability for fairness . Proceedings of the International Conference for Computer Science Logic ( ) , , Springer - Verlag , 2002 , pp . 292 - 305 .


********************
 Christoph M. Kirsch , Marco A. A. Sanvido , Thomas A. Henzinger , and Wolfgang Pree . A Giotto - based helicopter control system . Proceedings of the Second International Workshop on Embedded Software ( ) , , Springer - Verlag , 2002 , pp . 46 - 60 .


********************
 Roberto Passerone , Luca de Alfaro , Thomas A. Henzinger , and Alberto Sangiovanni - Vincentelli . Convertibility verification and converter synthesis :/<DE> Two/<JN> faces/<JN> of/<JN> the/<JN> same/<JN> coin/<JN> ./<JN> Proceedings of the International Conference on Computer - Aided Design ( ) , IEEE Computer Society Press , 2002 , pp . 132 - 139 .
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0072
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9928
-------------
Two should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
faces should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
the should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
same should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
coin should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
. should be:<DE> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.7468
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.2532


********************
 J. - F. Raskin , P. - Y. Schobbens , and Thomas A. Henzinger . Axioms for real - time logics . Theoretical Computer Science 274/<JN> : 151 - 182 , 2002 .
-------------
274 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Rajeev Alur , Robert K. Brayton , Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani . Partial - order reduction in symbolic state - space exploration . Formal Methods in System Design 18/<JN> : 97 - 116 , 2001 .
-------------
18 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0


********************
 Rajeev Alur , Luca de Alfaro , Radu Grosu , Thomas A. Henzinger , Minsu Kang , Christoph M. Kirsch , Rupak Majumdar , F. Y. C. Mang , Bow - Yaw Wang . jMocha/<DA> :/<DE> A model - checking tool that exploits design structure . Proceedings of the 23rd Annual International Conference on Software Engineering ( ) , IEEE Computer Society Press , 2001 , pp . 835 - 836 .
-------------
jMocha should be:<TI> but:<DA>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0.0012
<GL> s12:0.0012
<OR> s12:0
<DA> s12:0.9942
<PU> s12:0
<JN> s12:0.0023
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 Timothy/<JN> Brown/<JN> ,/<DE> Alessandro Pasetti , Wolfgang Pree , Thomas A. Henzinger , and Christoph M. Kirsch . A reusable and platform - independent framework for distributed control systems . Proceedings of the 20th Annual Digital Avionics Systems Conference ( ) , vol ./<DE> 2 , IEEE Press , 2001 , pp . 1 - 11 .
-------------
Timothy should be:<AU> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
Brown should be:<AU> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0007
<FL> s12:0
<NG> s12:0
<DE> s12:0.9993
-------------
. should be:<VO> but:<DE>
<TI> s12:0
<VO> s12:0.3393
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.6607


********************
 Luca de Alfaro and Thomas A. Henzinger . Interface automata . Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering ( ) , ACM Press , 2001 , pp . 109 - 120 .


********************
 Luca de Alfaro and Thomas A. Henzinger . Interface theories for component - based design . Proceedings of the First International Workshop on Embedded Software ( ) , , Springer - Verlag , 2001 , pp . 148 - 165 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and Ranjit Jhala . Compositional methods for probabilistic systems . Proceedings of the 12th International Conference on Concurrency Theory ( ) , , Springer - Verlag , 2001 , pp . 351 - 365 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar . From verification to control : Dynamic programs for omega - regular objectives . Proceedings of the 16th Annual Symposium on Logic in Computer Science ( ) , IEEE Computer Society Press , 2001 , pp . 279 - 290 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar . Symbolic algorithms for infinite - state games . Proceedings of the 12th International Conference on Concurrency Theory ( ) , , Springer - Verlag , 2001 , pp . 536 - 550 .


********************
 Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang . The control of synchronous systems ,/<DE> part II . Proceedings of the 12th International Conference on Concurrency Theory ( ) , , Springer - Verlag , 2001 , pp . 566 - 580 .
-------------
, should be:<TI> but:<DE>
<TI> s12:0.193
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0011
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.8059


********************
 Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang . McWeb/<NG> :/<DE> A model - checking tool for web - site debugging . Poster Proceedings of the Tenth International Word - Wide Web Conference ( ) , 2001 , pp . 86 - 87 .
-------------
McWeb should be:<TI> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0137
<AU> s12:0.0034
<FL> s12:0
<NG> s12:0.9829
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch . Giotto/<NG> :/<DE> A time - triggered language for embedded programming . Proceedings of the First International Workshop on Embedded Software ( ) , , Springer - Verlag , 2001 , pp . 166 - 184 .
-------------
Giotto should be:<TI> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0137
<AU> s12:0.0034
<FL> s12:0
<NG> s12:0.9829
<DE> s12:0
-------------
: should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch . Embedded control systems development with Giotto . Proceedings of the International Conference on Languages ,/<DE> Compilers ,/<DE> and/<TI> Tools/<TI> for/<TI> Embedded/<TI> Systems/<TI> ( ) , ACM Press , 2001 , pp . 64 - 72 .
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0.0012
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.4064
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.5924
-------------
, should be:<JN> but:<DE>
<TI> s12:0.0001
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9999
-------------
and should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Tools should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Embedded should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Systems should be:<JN> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Thomas A. Henzinger , Marius Minea , and Vinayak Prabhu . Assume - guarantee reasoning for hierarchical hybrid systems . Proceedings of the Fourth International Workshop on Hybrid Systems : Computation and Control ( ) , , Springer - Verlag , 2001 , pp . 275 - 290 .


********************
 Thomas A. Henzinger , Joerg Preussig , and Howard Wong - Toi . Some lessons from the HyTech experience . Proceedings of the 40th Annual Conference on Decision and Control ( ) , IEEE Press , 2001 , pp . 2887 - 2892 .


********************
 Rajeev Alur , Thomas A. Henzinger , Gerardo Lafferriere , and George J. Pappas . Discrete abstractions of hybrid systems . Proceedings of the IEEE 88/<JN> : 971 - 984 , 2000 .
-------------
88 should be:<VO> but:<JN>
<TI> s12:0.0032
<VO> s12:0.0528
<PP> s12:0.0024
<GL> s12:0
<OR> s12:0
<DA> s12:0.0073
<PU> s12:0.0016
<JN> s12:0.9301
<AU> s12:0.0008
<FL> s12:0.0008
<NG> s12:0.0008
<DE> s12:0

